prolog.ipynb

Kernel: Prolog (Calysto)

Prolog (Calysto)

https://github.com/Calysto/calysto_prolog

child(stephanie).
child(thad).
mother_child(trude, sally).

father_child(tom, sally).
father_child(tom, erica).
father_child(mike, tom).

sibling(X, Y)      :- parent_child(Z, X), parent_child(Z, Y).

parent_child(X, Y) :- father_child(X, Y).
parent_child(X, Y) :- mother_child(X, Y).

Rule added to database.
Rule added to database.
Rule added to database.
Rule added to database.
Rule added to database.
Rule added to database.
Rule added to database.
Rule added to database.
Rule added to database.

father_child(tom, sally)?

Use '%continue' for more results.

True

has(jack,apples).
has(ann,plums).
has(dan,money).
fruit(apples).
fruit(plums).

Rule added to database.
Rule added to database.
Rule added to database.
Rule added to database.
Rule added to database.

has(jack,_)?
has(dan, money)?

Use '%continue' for more results.
Use '%continue' for more results.

True

%continue

Use '%continue' for more results.

True

has(ann, money)?

No more results.