diff options
Diffstat (limited to 'subprojects/frontend/src/language/problem.grammar')
-rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar index 7feb6bfe..1e1ef70f 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
@@ -25,11 +25,11 @@ statement { | |||
25 | RelationName ParameterList<Parameter>? | 25 | RelationName ParameterList<Parameter>? |
26 | PredicateBody { ("<->" sep<OrOp, Conjunction>)? "." } | 26 | PredicateBody { ("<->" sep<OrOp, Conjunction>)? "." } |
27 | } | | 27 | } | |
28 | RuleDefinition { | 28 | //RuleDefinition { |
29 | ckw<"rule"> | 29 | // ckw<"rule"> |
30 | RuleName ParameterList<Parameter>? | 30 | // RuleName ParameterList<Parameter>? |
31 | RuleBody { ":" sep<OrOp, Conjunction> "==>" sep<OrOp, Consequent> "." } | 31 | // RuleBody { ":" sep<OrOp, Conjunction> "==>" sep<OrOp, Consequent> "." } |
32 | } | | 32 | //} | |
33 | Assertion { | 33 | Assertion { |
34 | ckw<"default">? (NotOp | UnknownOp)? RelationName | 34 | ckw<"default">? (NotOp | UnknownOp)? RelationName |
35 | ParameterList<AssertionArgument> (":" LogicValue)? "." | 35 | ParameterList<AssertionArgument> (":" LogicValue)? "." |
@@ -73,13 +73,13 @@ Literal { | |||
73 | 73 | ||
74 | Atom { RelationName "+"? ParameterList<Argument> } | 74 | Atom { RelationName "+"? ParameterList<Argument> } |
75 | 75 | ||
76 | Consequent { ("," | Action)+ } | 76 | //Consequent { ("," | Action)+ } |
77 | 77 | ||
78 | Action { | 78 | //Action { |
79 | ckw<"new"> VariableName ("<:" VariableName)? | | 79 | // ckw<"new"> VariableName ("<:" VariableName)? | |
80 | ckw<"delete"> VariableName | | 80 | // ckw<"delete"> VariableName | |
81 | Literal | 81 | // Literal |
82 | } | 82 | //} |
83 | 83 | ||
84 | Argument { VariableName | Constant } | 84 | Argument { VariableName | Constant } |
85 | 85 | ||
@@ -101,7 +101,7 @@ Multiplicity { (IntMult "..")? (IntMult | StarMult)} | |||
101 | 101 | ||
102 | RelationName { QualifiedName } | 102 | RelationName { QualifiedName } |
103 | 103 | ||
104 | RuleName { QualifiedName } | 104 | //RuleName { QualifiedName } |
105 | 105 | ||
106 | IndividualNodeName { QualifiedName } | 106 | IndividualNodeName { QualifiedName } |
107 | 107 | ||