Prolog Prolog Prolog, ; , , . , Prolog; , .
, Prolog, . prcve ( , ) :
prove(Coal)
, Prolog . prove [ GoalJ:-call(Goal].
( call) Prolog, , Prolog. , , - . , , " " , , .
II. Prolog
, Prolog: clause(Head, Body)
"" , . Head , , a Body . () Body = true. () . , Body . , : 3ody = (FirstGoal, OtherGoalsJ
. Prolog :,(FirstGoal, OtherGoals}
OtherGoals , . clause { Head, Body) Head . , , , member. member :
|
|
?- clause(member(X, L), Body).
X =14
L = \JLA | 15]
Body =. true;
X = 14
L = [_15 I 16]
Body = member{ _14, _16)
23.1 Prolog, , , , . , "" () Prolog. , . , , . Prolog. , Prolog (. 23.2).
23.1, Prolog
* Prolog
prove(true).
prove((Goall, Goal2)):-prove{ Goall), prove(Goal2).
prove(Goal):-
clause(Goal, Body), prove(Body).
23. 561
23.1.
, 23.1, ,
, :
?- prove[ prove! memberf X, [ a, b, ])))-
, , clause. , , ?
23.2, , 23.1,
Prolog. ,
prove [ Goal,
DepthLimit), , DepthLimit £ 0.
.