| Version 2 (modified by acharal, 5 years ago) |
|---|
Welcome to Higher Order Prolog with Extensional Semantics
Hopes is a prototype interpreter for the definitorial higher order PROLOG.
| Version 2 (modified by acharal, 5 years ago) |
|---|
Hopes is a prototype interpreter for the definitorial higher order PROLOG.
Powered by Trac 0.11.1
By Edgewall Software.
Visit the Trac open source project at
http://trac.edgewall.org/