draughts example is not working

yuce / pyswip

PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.

MIT License

464 stars 97 forks source link

draughts example is not working #117

Closed pampelmuse76 closed 3 years ago

pampelmuse76 commented 3 years ago

In pyswip/examples/draughts/puzzle1.pl the line Board in 0..12 must be replaced by: Board ins 0..12,

pampelmuse76 commented 3 years ago

same for other examples too.

pampelmuse76 commented 3 years ago

Problem is: The predicate in/2 is defined a bit different in library('bounds') and library(clpfd). And in my environment somehow clpfd is used.