Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master

This branch is 0 commits ahead and 0 commits behind master

Fetching latest commit…

Octocat-spinner-32-eaf2f5

Cannot retrieve the latest commit at this time

Octocat-spinner-32 config
Octocat-spinner-32 examples
Octocat-spinner-32 packaging
Octocat-spinner-32 resources
Octocat-spinner-32 src
Octocat-spinner-32 .ghci
Octocat-spinner-32 .gitignore
Octocat-spinner-32 FUTURE-WORK.md
Octocat-spinner-32 JCU.cabal
Octocat-spinner-32 LICENSE
Octocat-spinner-32 Makefile
Octocat-spinner-32 README.md
Octocat-spinner-32 Setup.hs
Octocat-spinner-32 start.sh
Octocat-spinner-32 stop.sh
Octocat-spinner-32 uglify.sh
Octocat-spinner-32 upgrade.sh
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.