-
Notifications
You must be signed in to change notification settings - Fork 0
/
bnf.txt
32 lines (22 loc) · 834 Bytes
/
bnf.txt
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
Initially ::= "initially", Fluent
HappensAt ::= "happens", Event, "if", HappensAtBody
InitiatedAt ::= "initiate", Fluent, "if", HappensAtBody
TerminatedAt ::= "terminate", Fluent, "if", HappensAtBody
HoldsFor ::= "holds", Fluent, "iff", HoldsForBody
Event ::= functor, "(", argumentsList, ")"
Fluent ::= functor, "(", argumentsList, ")", (value)?
HappensAtBody ::= "start", Fluent, (",", Condition)*
| "end", Fluent, (",", Condition)*
| "happens", Event, (",", Condition)*
| "not happens", Event, (",", Condition)*
Condition ::= "start", Fluent
| "end", Fluent
| "happens", Event
| "not happens", Event
| "holds" Fluent
| "not holds", Fluent
HoldsForBody ::= Expression
Expression ::= Fluent, ([","|"or"], Fluent)*
| "(", Expression, ")"
| "not", Expression
| Expression, ([","|"or"], Expression)*