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).