Changes between Version 3 and Version 4 of WikiStart

Timestamp:

05/27/12 10:33:52 (12 months ago)

Author:

acharal (IP: 46.190.60.219)

Comment:

--

WikiStart

@@ -1 +1 @@
 = Welcome to Higher Order Prolog with Extensional Semantics =
 
-Hopes is a prototype interpreter for the definitorial higher order PROLOG.
+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].
 The interpreter implements a higher order proof procedure with extensional semantics.
+
+For more information about the formal definition of the language and its semantics you should consult [http://arxiv.org/abs/1106.3457 this paper].
+
+
+== Getting Started with the Interpreter == 
+
+To checkout the source from the darcs repository you should execute
+{{{ 
+darcs get http://code.haskell.org/hopes hopes
+}}}
+
+To compile the source you must install the cabal package and execute
+{{{ 
+make
+}}}
+
+
+== Examples == 
+
+In order to gain some intuition behind logic programming in HOPES some simple examples are given.
+
+The ordered predicate is the simple second-order predicate that holds if the
+relation R is an ordering of the list.
+{{{
+ordered(R, []).
+ordered(R, [X]).
+ordered(R, [X, Y| Z]):- R(X,Y), ordered(R, [Y|Z]).
+}}}
+
+The popular map predicate:
+{{{
+map(R, [], []).
+map(R, [X|Xs], [Y|Ys]) :- R(X, Y), map(R, Xs, Ys).
+}}}
+
+== Related Systems ==
+
+ * [http://teyjus.cs.umn.edu/ Teygus] is an implementation of [http://www.lix.polytechnique.fr/~dale/lProlog/ lambdaProlog].
+ * [http://xsb.sourceforge.net/index.html XSB] includes an implementation of [http://www.cs.stonybrook.edu/~kifer/TechReports/hilog.pdf HiLog].