Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: 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
Development status:Alpha
Kind: Applications written in Caml :: Scientific software
Topic: Programming languages :: Compilers