Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Project materials related to logic programming for interactive/reactive systems.
Standard ML
branch: master

README.md

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 SML/NJ and rlwrap.
  • Clone the repo, and get cmlib into the lib/cmlib directory:

    git submodule update --init --recursive

  • From the /src directory, run

    rlwrap sml

  • From the SML/NJ REPL, do

    CM.make "sources.cm";,

    Then

    open Top;

  • Run one of the shown functions on the path to a file. runFirst runs the first program given. Examples live in ../examples/ and the relevant ones to Ceptre are those that end in .cep.

    So you might try

    runFirst "../examples/small.cep";

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

Something went wrong with that request. Please try again.