Changes between Version 3 and Version 4 of WikiStart

Show
Ignore:
Timestamp:
05/27/12 10:33:52 (2 years ago)
Author:
acharal (IP: 46.190.60.219)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v3 v4  
    11= Welcome to Higher Order Prolog with Extensional Semantics = 
    22 
    3 Hopes is a prototype interpreter for the definitorial higher order PROLOG. 
     3HOPES 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]. 
    44The interpreter implements a higher order proof procedure with extensional semantics. 
     5 
     6For more information about the formal definition of the language and its semantics you should consult [http://arxiv.org/abs/1106.3457 this paper]. 
     7 
     8 
     9== Getting Started with the Interpreter ==  
     10 
     11To checkout the source from the darcs repository you should execute 
     12{{{  
     13darcs get http://code.haskell.org/hopes hopes 
     14}}} 
     15 
     16To compile the source you must install the cabal package and execute 
     17{{{  
     18make 
     19}}} 
     20 
     21 
     22== Examples ==  
     23 
     24In order to gain some intuition behind logic programming in HOPES some simple examples are given. 
     25 
     26The ordered predicate is the simple second-order predicate that holds if the 
     27relation R is an ordering of the list. 
     28{{{ 
     29ordered(R, []). 
     30ordered(R, [X]). 
     31ordered(R, [X, Y| Z]):- R(X,Y), ordered(R, [Y|Z]). 
     32}}} 
     33 
     34The popular map predicate: 
     35{{{ 
     36map(R, [], []). 
     37map(R, [X|Xs], [Y|Ys]) :- R(X, Y), map(R, Xs, Ys). 
     38}}} 
     39 
     40== Related Systems == 
     41 
     42 * [http://teyjus.cs.umn.edu/ Teygus] is an implementation of [http://www.lix.polytechnique.fr/~dale/lProlog/ lambdaProlog]. 
     43 * [http://xsb.sourceforge.net/index.html XSB] includes an implementation of [http://www.cs.stonybrook.edu/~kifer/TechReports/hilog.pdf HiLog].