Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: AlphaProlog

AlphaProlog

AlphaProlog is a logic programming language with built-in names, fresh name generation, name binding, and unification up to alpha-equivalence.
Homepage ]
Author:James Cheney.
Last modification date:30-Oct-2003
Version:0.3
Development status:Alpha
Kind: Applications written in Caml :: Scientific software
Topic: Programming languages :: Compilers
Homepage:http://www.cs.cornell.edu/people/jcheney/aprolog/