Next: ref-syn-syn-trm, Previous: ref-syn-syn-not, Up: ref-syn-syn [Contents][Index]
sentence | ::= module : sentence | |
| list | { where list is a list of sentence } | |
| clause | ||
| directive | ||
| query | ||
| grammar-rule | ||
clause | ::= rule | unit-clause | |
rule | ::= head :- body | |
unit-clause | ::= head | { where head is not otherwise a sentence } |
directive | ::= :- body | |
query | ::= ?- body | |
head | ::= module : head | |
| goal | { where goal is not a variable } | |
body | ::= module : body | |
| body -> body disj body | ||
| body -> body | ||
| \+ body | ||
| body disj body | ||
| body , body | ||
| once(body) | ||
| do(iter,body) | ||
| if(body,body,body) | ||
| term ^ body | ||
| goal | ||
goal | ::= term | { where term is not otherwise a body } |
grammar-rule | ::= gr-head --> gr-body | |
gr-head | ::= module : gr-head | |
| gr-head , terminals | ||
| non-terminal | { where non-terminal is not a variable } | |
gr-body | ::= module : gr-body | |
| gr-body -> gr-body disj gr-body | ||
| gr-body -> gr-body | ||
| \+ gr-body | ||
| gr-body disj gr-body | ||
| gr-body , gr-body | ||
| once(gr-body) | ||
| do(iter,gr-body) | ||
| if(gr-body,gr-body,gr-body) | ||
| term ^ gr-body | ||
| non-terminal | ||
| terminals | ||
| gr-condition | ||
non-terminal | ::= term | { where term is not otherwise a gr-body } |
terminals | ::= list | string | |
gr-condition | ::= ! | {body} | |
module | ::= atom | |
disj | ::= ; | | | { read as ; unless | is declared infix } |
iter | ::= iter , iter | |
| fromto(term,term,term,term) | ||
| foreach(term,term) | ||
| foreacharg(term,term) | ||
| foreacharg(term,term,term) | ||
| count(term,term,term) | ||
| for(term,term,term) | ||
| param(term) |