- Implements unifications, search and backwards chaining.
- Also prolog lists are implemented.
- In order to dive into the code check the tests.
Installation:
- install scala
- install sbt
Usage:
- In the project directory
- ./sbt
- run examples/quicksort.pl "quicksort([3,2,1,2],Y)"
This will output:
- true
- Variable(Y) = 1 2 2 3
For more information