dkohlsdorf / Scalog

A very simple prolog implementation

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Scalog A simple Prolog interpreter

  • 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

About

A very simple prolog implementation


Languages

Language:Scala 100.0%