αProlog
Switch branches/tags
Nothing to show
Clone or download
jamescheney Ne simplification (#1)
*  ne-simplification branch

* * dependency graph

* minor fix to lam.apl

* * removed some warnings
* updated to be compatible with immutable strings

* * version 0.4
Latest commit 9aea063 Oct 9, 2018
Permalink
Failed to load latest commit information.
doc * version 0.4 Feb 2, 2016
examples/simple Ne simplification (#1) Oct 9, 2018
lib * version 0.4 Feb 2, 2016
src Ne simplification (#1) Oct 9, 2018
.gitignore * need .depend Feb 2, 2016
ChangeLog * version 0.4 Feb 2, 2016
Makefile Ne simplification (#1) Oct 9, 2018
README.md Update README.md Feb 2, 2016
RELEASE_NOTES * version 0.4 Feb 2, 2016
configure.sh * version 0.4 Feb 2, 2016
install.sh * version 0.4 Feb 2, 2016
uninstall.sh * version 0.4 Feb 2, 2016

README.md

AlphaProlog 0.4 README

This is AlphaProlog, a prototype nominal logic programming language.

To get started:

  1. Edit the Makefile INSTALL variable to indicate where you want to install AlphaProlog

  2. Do

    $ make configure
    $ make all
    $ make install
    

    Also, it might be convenient to put /bin in your PATH.

  3. To test that AlphaProlog is working correctly, go to the install directory and do

    $ bin/aprolog examples/lam.apl
    

    This will start aprolog on an example file that defines a syntax representing the simply-typed lambda calculus together with some sample queries.

  4. To uninstall, do

    $ make uninstall
    

    Warning: This will delete everything in the install directory, including anything you put there.

A draft user's guide can be found in /doc.

If you have any questions, please contact the author at

jcheney@inf.ed.ac.uk

Have fun!

Contributors: Alberto Momigliano Matteo Pessina James Cheney