Examples
Basics
Hello, World!
from pyswip import Prolog
p = Prolog()
p.assertz("foo(bar, zoo)")
Prolog:
foo(bar, zoo).
parent(X, Y) :-
child(Y, X).
from pyswip import Prolog
p = Prolog()
p.assertz("foo(bar, zoo)")
Prolog:
foo(bar, zoo).
parent(X, Y) :-
child(Y, X).