Clogic README

1 INTRODUCTION

Clogic is a logic programming language very similar to prolog, developed for the
Programming Languages and Translators at Columbia University.  Although the
language is designed to be functional, it is at most an exercise in learning and
as such should only be used for educational purposes only.  Information about
the course can be obtained at

http://cs.columbia.edu/~sedwards/classes/2011/w4115-summer/index.html


2 DEPENDENCIES

The following applications are required in order to build clogic:

* ocamlc
* ocamllex
* ocamlyacc
* g++
* GNU Make

3 BUILD INSTRUCTIONS

To build clogic, simply execute "make".  Makefile.incl specifies options that
can be configured.  It builds the binaries "cl", which is the compiler, and "clvm"
which is the interpreter/virtual machine.

4 COMMENTS/QUESTIONS/SUGGESTIONS/GRIPES?

The author, Tabari Alexander, can be reached via e-mail at tha2105 AT columbia.edu
