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/ |