1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'foundations/EC.e').
4%;
5%; Copyright (c) 2005 IBM Corporation and others.
6%; All rights reserved. This program and the accompanying materials
7%; are made available under the terms of the Common Public License v1.0
8%; which accompanies this distribution, and is available at
9%; http://www.eclipse.org/legal/cpl-v10.html
10%;
11%; Contributors:
12%; IBM - Initial implementation
13%;
14%; Event Calculus (EC)
15%;
16%; @incollection{MillerShanahan:2002,
17%; author = "Rob Miller and Murray Shanahan",
18%; year = "2002",
19%; title = "Some alternative formulations of the event calculus",
20%; editor = "Antonis C. Kakas and Fariba Sadri",
21%; booktitle = "Computational Logic: Logic Programming and Beyond: Essays in Honour of \uppercase{R}obert \uppercase{A}. \uppercase{K}owalski, Part \uppercase{II}",
22%; series = "Lecture Notes in Computer Science",
23%; volume = "2408",
24%; pages = "452--490",
25%; address = "Berlin",
26%; publisher = "Springer",
27%; }
28%;
29
30% sort time: integer
31==> subsort(time,integer).
32
33% sort offset: integer
34==> subsort(offset,integer).
35
36% reified sort fluent
37 % reified_sort(fluent).
38==> mpred_prop(fluent,reified_sort).
39
40% reified sort event
41 % reified_sort(event).
42==> mpred_prop(event,reified_sort).
43
44% predicate Happens(event,time)
45 % predicate(happens(event,time)).
46==> mpred_prop(happens(event,time),predicate).
47==> meta_argtypes(happens(event,time)).
48
49% predicate HoldsAt(fluent,time)
50 % predicate(holds_at(fluent,time)).
51==> mpred_prop(holds_at(fluent,time),predicate).
52==> meta_argtypes(holds_at(fluent,time)).
53
54% predicate ReleasedAt(fluent,time)
55 % predicate(releasedAt(fluent,time)).
56==> mpred_prop(releasedAt(fluent,time),predicate).
57==> meta_argtypes(releasedAt(fluent,time)).
58
59% predicate Initiates(event,fluent,time)
60 % predicate(initiates(event,fluent,time)).
61==> mpred_prop(initiates(event,fluent,time),predicate).
62==> meta_argtypes(initiates(event,fluent,time)).
63
64% predicate Terminates(event,fluent,time)
65 % predicate(terminates(event,fluent,time)).
66==> mpred_prop(terminates(event,fluent,time),predicate).
67==> meta_argtypes(terminates(event,fluent,time)).
68
69% predicate Releases(event,fluent,time)
70 % predicate(releases(event,fluent,time)).
71==> mpred_prop(releases(event,fluent,time),predicate).
72==> meta_argtypes(releases(event,fluent,time)).
73
74% predicate Trajectory(fluent,time,fluent,offset)
75 % predicate(trajectory(fluent,time,fluent,offset)).
76==> mpred_prop(trajectory(fluent,time,fluent,offset),predicate).
77==> meta_argtypes(trajectory(fluent,time,fluent,offset)).
78
79