# Changes between Version 3 and Version 4 of WikiStart

Show
Ignore:
Timestamp:
05/27/12 10:33:52 (5 years ago)
Comment:

--

Unmodified
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.
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{{{
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].