Здрасьте.
Как на swi-prolog'е можно сделать программу, которая решает логическую задачу (с предикатами первого порядка)? На парах записывали программы вот так:
Predicates:
V(x)
K(x)
P(x)
O(x)
G(x)
D(x)
Clauses:
D(a)
K(x):-V(x)
P(x):-O(x)
:-K(x),G(x)
V(x):-D(x)
G(x):-P(x)
Goal ?- not(O(a))
Заранее спасибо за помощь.
PS. Желательно показать на вот этом примере ^^
