Skip to content
JavaScript Haskell CoffeeScript Other
Find file
Latest commit 720dd0d @norm2782 Get rid of voidM
Failed to load latest commit information.
config
examples Move prolog examples to example dir
packaging Make DB dump PG 8.4 compatible
resources/static Minimal test case
src Get rid of voidM
.ghci Major cleanup/reordening. Also start on verification algorithm
.gitignore Progress working on jQuery. Can now add events to elements. :)
FUTURE-WORK.md Update doc files
JCU.cabal Merge branch 'pgsql'
LICENSE Only have trunk content here
Makefile Progress working on jQuery. Can now add events to elements. :)
README.md Typo's :)
Setup.hs Only have trunk content here
start.sh Remove absolute path from start.sh
stop.sh Add start/stop scripts
uglify.sh Add uglify
upgrade.sh First stab at porting the app to Snap 0.6 and HDBC

README.md

Prolog for JCU

This package was developed to demonstrate the ideas behind the Prolog language. It uses a very small interpreter (Language.Prolog.Nanoprolog) which can be run on its own.

This package contains an environment constructed for the Junior College at Utrecht University. It provides a simple environment in which rules can be defined, and proofs can be constructed interactively. The software can be installed on a server, so students do not have to install anything on their own machines.

Installation instructions

This software has been tested with Haskell Platform 2011.2.0.1 on Mac OS X 10.7.2 and GHC 7.2.1 (64-bit).

To install the JCU package in development mode, issue a make command in the project root. To install it in production mode, just issue cabal install in the project root.

Usage instructions

Before you can use the application, you have to start it and register an account.

Starting

After installation, just issue the

jcu

command. If you want to run the application in development mode, you should issue this command in the root directory of the project.

Accessing

The application can be viewed from your browser on the following address:

http://localhost:8000/

Registering

Before you can use the application, you have to register an account. This can be done at

http://localhost:8000/signup

Your username must be a valid email address and your password needs to be at least six characters long.

Logging in

After signup, you can log in at

http://localhost:8000/login

using the credentials you have just entered during registration.

Using

After logging in, the main screen is visible. It is divided in two sections. On the left-hand side we have the proof tree and on the right-hand side the list of rules. (TODO: Finish this bit)

Something went wrong with that request. Please try again.