Version 2 (modified by acharal, 6 years ago)

--

Welcome to Higher Order Prolog with Extensional Semantics

Hopes is a prototype interpreter for the definitorial higher order PROLOG.