student("Betty Blue", 3.5).
student("David Smith", 2.0).
student("John Johnson", 3.7).
probation("Betty Blue").
probation("David Smith").
honor_student(Name) , 3.5 Betty Blue David Smith, .
4.4. .
:
1. cut .
2. cut, , : P, ' Q, ' R.
. , . cut , ( ').
, "". "".
. , , , .
:
goal: not(dog(baks)),
, , " ". , " ", , " - ". . , , , . , ( ), , .
: , dog(baks), , , .
not:
Predicates
R(symbol)
G(symbol)
P(symbol)
Clauses
R(a).
G(b).
p(X):-not(r(X)).
goal: g(X), p(X) c =b, goal: p(X), g(X) no (). , (X) ', .