Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

..
Failed to load latest commit information.
README.txt
dpj.pl
example1.pl
example2.pl
example3.pl
example3b.pl
testDPJ.pl

README.txt

Code developed and tested with SWI-prolog 5.7.11 & 5.10.4

To try example1.pl:
* fire up prolog in interactive mode (pl, or swipl command usually) in the 
  same directory as exampleZ.pl and dpj.pl

* load example1.pl (remember the colon):
	?- ['example1.pl'].
  exampleZ.pl will also load its dependency, dpj.pl

* query the predicate:
	(a) to find solutions
		?- example1(X,Y).

	(b) to check if a specific solution is valid
		?- example1(root, star).

	(c) to check if given a partial solution, a full solution can be found
		?- example1(root, Y).

For examples 2 & 3 the procedure is similar, although I recommend you quit 
and start over the prolog interpreter to purge all the loaded predicates 
that may interfere from one example to the other. (I'm going to figure out  
a way to scope this predicates to prevent them from leaking from one example
to the other).

Something went wrong with that request. Please try again.