Changes between Version 5 and Version 6 of WikiStart

Show
Ignore:
Timestamp:
05/27/12 12:32:30 (3 years ago)
Author:
acharal (IP: 46.190.60.219)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v5 v6  
    11= Welcome to Higher Order Prolog with Extensional Semantics = 
    22 
    3 HOPES is a prototype interpreter written in [http://www.haskell.org/haskellwiki/Haskell Haskell] for the definitorial higher order [http://en.wikipedia.org/wiki/Prolog PROLOG]. 
    4 The interpreter implements a higher order proof procedure with extensional semantics. 
     3Hopes is a prototype interpreter for a higher-order PROLOG-like 
     4language. The syntax of the language extends that of [http://en.wikipedia.org/wiki/Prolog PROLOG] by 
     5supporting higher-order constructs (such as higher-order predicate 
     6variables, partial application and lambda terms). In particular, 
     7the syntax allows clauses (and queries) that contain uninstantiated 
     8predicate variables. The interpreter implements a higher-order 
     9top-down SLD-resolution proof procedure described in [http://arxiv.org/abs/1106.3457 this paper]. In the 
     10case of uninstantiated predicate variables, the proof procedure 
     11will systematically (and in a sophisticated way) investigate all 
     12finite instantiations of these variables.  
    513 
    6 For more information about the formal definition of the language and its semantics you should consult [http://arxiv.org/abs/1106.3457 this paper]. 
    7  
     14In other words, Hopes has all the advantages of a higher-order system but continues to keep the flavor of classical Prolog programming. 
    815 
    916== Getting Started with the Interpreter ==