search

targodan / jupyter-swi-prolog

A Jupyter Kernel for SWI-Prolog
MIT License
24 stars 6 forks source link

Experiment with zebra puzzle #10

Open smartinsightsfromdata opened 5 years ago

smartinsightsfromdata commented 5 years ago

Installed jswipl 1.0.2 on python 3.6. It works great with the working example

man(socrates).
mortal(X) :- man(X).

?- mortal(socrates).
?- mortal(X).
?- mortal(bob)

I tried something more complex, the zebra puzzle (aka Einstein riddle). https://github.com/DonaldKellett/Einsteins-Riddle-Prolog

But I didn't manage to make it work (the notebook hangs with the notorious asterisk forever).

Any suggestion?