File "examples/knights_and_knaves.pl"[download]

in pack:	trill_on_swish
size:	1583

Recent changes

8 years ago

rzese

added all needed files

This file requires

• From the Prolog library
  • library(clpb) resolved by
    • clpb.pl: sat/1

Required predicates

• sat/1 from library(clpb)