-
Notifications
You must be signed in to change notification settings - Fork 1
/
train.metta
103 lines (78 loc) · 2.5 KB
/
train.metta
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
; (convert-to-metta-file train $_87358 index/train.pl index/train.metta)
!(dynamic (/ rel 2))
!(dynamic (/ pos-tuple 1))
!(dynamic (/ neg-tuple 1))
(= (rel train (direction hour minutes stop1)) True)
;
; pos_tuple(train(utrecht,8,8,den-bosch)).
;
; pos_tuple(train(tilburg,8,10,tilburg)).
;
; pos_tuple(train(maastricht,8,10,weert)).
;
; pos_tuple(train(utrecht,8,13,eindhoven-bkln)).
;
; pos_tuple(train(tilburg,8,17,eindhoven-bkln)).
;
; pos_tuple(train(utrecht,8,25,den-bosch)).
;
; pos_tuple(train(utrecht,8,31,utrecht)).
;
; pos_tuple(train(utrecht,8,43,eindhoven-bkln)).
;
; pos_tuple(train(tilburg,8,47,eindhoven-bkln)).
;
; pos_tuple(train(utrecht,9,8,den-bosch)).
;
; pos_tuple(train(tilburg,9,10,tilburg)).
;
; pos_tuple(train(maastricht,9,10,weert)).
;
; pos_tuple(train(utrecht,9,13,eindhoven-bkln)).
;
; pos_tuple(train(tilburg,9,17,eindhoven-bkln)).
;
; pos_tuple(train(utrecht,9,25,den-bosch)).
;
; pos_tuple(train(utrecht,9,43,eindhoven-bkln)).
;
; pos_tuple(train(tilburg,9,47,eindhoven-bkln)).
(= (pos-tuple (train $Direction $Hour $Minutes $Stop1))
(normaltrain $Direction $Hour $Minutes $Stop1))
(= (pos-tuple (train $Direction $Hour $Minutes $Stop1))
(specialtrain $Direction $Hour $Minutes $Stop1))
(= (normaltrain $Direction $Hour $Minutes $Stop1)
(hour $Hour)
(fasttrain $Direction $Minutes $Stop1))
(= (normaltrain $Direction $Hour $Minutes $Stop1)
(hour $Hour)
(slowtrain $Direction $Minutes $Stop1))
(= (fasttrain $Direction $Minutes $Stop1)
(fasttrain $Direction $Minutes)
(fasttrain-stop1 $Direction $Stop1))
(= (slowtrain $Direction $Minutes $Stop1)
(slowtrain $Direction $Minutes)
(slowtrain-stop1 $Direction $Stop1))
(= (slowtrain $Direction $Minutes $Stop1)
(slowtrain $Direction $Minutes1)
(is $Minutes
(+ $Minutes1 30))
(slowtrain-stop1 $Direction $Stop1))
(= (fasttrain utrecht 8) True)
(= (fasttrain tilburg 10) True)
(= (fasttrain maastricht 10) True)
(= (fasttrain utrecht 25) True)
(= (fasttrain-stop1 utrecht (- den bosch)) True)
(= (fasttrain-stop1 tilburg tilburg) True)
(= (fasttrain-stop1 maastricht weert) True)
(= (slowtrain utrecht 13) True)
(= (slowtrain tilburg 17) True)
(= (slowtrain-stop1 utrecht (- eindhoven bkln)) True)
(= (slowtrain-stop1 tilburg (- eindhoven bkln)) True)
(= (specialtrain utrecht 8 31 utrecht) True)
(= (hour 8) True)
(= (hour 9) True)
;
; hour(10).
;
; hour(11).