interactive-lp

Project materials related to logic programming for interactive/reactive systems.

Ad-hoc instructions for anyone who wants to play while Ceptre is in development:

• Get MLton (http://mlton.org/).

• Clone the repo, and get cmlib into the lib/cmlib directory:

  git submodule update --init --recursive

• From the top-level directory, run

  make

  then

  ./ceptre path/to/filename.cep,

• Examples live in examples/ and the relevant ones to Ceptre are those that end in .cep.

  So you might try

  ./ceptre "examples/small.cep"

  Which will run the first #trace command given in that file.