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.

draughts example is not working

pampelmuse76 opened this issue 3 years ago · comments

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.