from pyswip import Prolog

prolog = Prolog()
prolog.assertz(u"father('franišek')")
prolog.assertz(u"father('bonifác')")

print(list(prolog.query("father(X)")))
f696a180f7ce2f0451b5d68fc4f6aee65521daa1
<mask token>

<mask token>
prolog.assertz(u"father('franišek')")
prolog.assertz(u"father('bonifác')")
print(list(prolog.query('father(X)')))

<mask token>
prolog = Prolog()
prolog.assertz(u"father('franišek')")
prolog.assertz(u"father('bonifác')")
print(list(prolog.query('father(X)')))

from pyswip import Prolog
prolog = Prolog()
prolog.assertz(u"father('franišek')")
prolog.assertz(u"father('bonifác')")
print(list(prolog.query('father(X)')))

from pyswip import Prolog

prolog = Prolog()
prolog.assertz(u"father('franišek')")
prolog.assertz(u"father('bonifác')")

print(list(prolog.query("father(X)")))