<DEFAULT> SKIP : {
" "
| "\t"
| "\n"
| "\r"
| <"//" (~["\n","\r"])* ("\n" | "\r" | "\r\n")?>
| <"/*" (~["*"])* "*" ("*" | ~["*","/"] (~["*"])* "*")* "/">
}
|
// Note: i do not why, but vars must be defined before TK_BEGIN and END |
<DEFAULT> TOKEN : {
<VAR: <UP_LETTER> (<CHAR>)*>
}
|
<DEFAULT> TOKEN : {
<TK_TRUE: "true">
| <TK_FALSE: "false">
| <TK_NOT: "not">
| <TK_NEG: "~">
| <TK_INTDIV: "div">
| <TK_INTMOD: "mod">
| <TK_BEGIN: "begin">
| <TK_END: "end">
| <TK_LABEL_AT: "@">
| <TK_IF: "if">
| <TK_ELSE: "else">
| <TK_ELIF: "elif">
| <TK_FOR: "for">
| <TK_WHILE: "while">
| <TK_PAND: "|&|">
| <TK_POR: "|||">
| <TK_LEFT_ARROW: "<-">
| <TK_GOAL_CONDITION: "<:">
| <TK_RULE_SEP: ":-">
| <TK_NS_SEP: "::">
| <NUMBER: ["0"-"9"] (["0"-"9"])* | (["0"-"9"])* "." (["0"-"9"])+ (["e","E"] (["+","-"])? (["0"-"9"])+)? | (["0"-"9"])+ ["e","E"] (["+","-"])? (["0"-"9"])+>
| <STRING: "\"" (~["\"","\\","\n","\r"] | "\\" (["n","t","b","r","f","\\","\'","\""] | ["0"-"7"] (["0"-"7"])? | ["0"-"3"] ["0"-"7"] ["0"-"7"]))* "\"">
| <ATOM: (<LC_LETTER> | "." <CHAR>) (<CHAR> | "." <CHAR>)* | "\'" (~["\'"])* "\'">
| <UNNAMEDVARID: "_" (<DIGIT>)+ (<CHAR>)*>
| <UNNAMEDVAR: "_" (<CHAR>)*>
| <CHAR: <LETTER> | <DIGIT> | "_">
| <LETTER: <LC_LETTER> | <UP_LETTER>>
| <LC_LETTER: ["a"-"z"]>
| <UP_LETTER: ["A"-"Z"]>
| <DIGIT: ["0"-"9"]>
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* AgentSpeak Grammar */ |
||
| agent | ::= | ( agent_component )* <EOF> |
| agent_component | ::= | ( directive | belief | initial_goal | plan ) |
/* Directive */ |
||
| directive | ::= | "{" ( <TK_BEGIN> directive_arguments "}" ( agent_component )* "{" <TK_END> "}" | directive_arguments "}" ) |
| directive_arguments | ::= | <ATOM> ( "(" terms ")" )? ( list )? |
/* Beliefs & Rules */ |
||
| belief | ::= | literal ( <TK_RULE_SEP> log_expr )? "." |
/* Initial goals */ |
||
| initial_goal | ::= | "!" literal "." |
/* Plan */ |
||
| plan | ::= | ( plan_annotation )? trigger ( ":" log_expr )? ( <TK_GOAL_CONDITION> log_expr )? ( <TK_LEFT_ARROW> plan_body )? "." ( "{" ( plan )* "}" )? |
| plan_annotation | ::= | <TK_LABEL_AT> ( ( <ATOM> | <TK_BEGIN> | <TK_END> ) ( list )? | list ) |
/* Trigger */ |
||
| trigger | ::= | ( "+" | "-" | "^" ) ( ( "!" | "?" ) )? literal |
/* Plan body */ |
||
| plan_body | ::= | ( plan_body_term ( ";" ( plan_body )? )? | statement ( ";" )? ( plan_body )? ) |
| plan_body_term | ::= | plan_body_factor ( <TK_POR> plan_body_term )? |
| plan_body_factor | ::= | body_formula ( <TK_PAND> plan_body_factor )? |
| statement | ::= | ( stmtIF | stmtFOR | stmtWHILE ) |
| stmtIF | ::= | <TK_IF> stmtIFCommon |
| stmtIFCommon | ::= | "(" log_expr ")" "{" ( stmt_body )? "}" ( <TK_ELIF> stmtIFCommon | <TK_ELSE> "{" ( stmt_body )? "}" )? |
| stmtFOR | ::= | <TK_FOR> "(" log_expr ")" "{" ( stmt_body )? "}" |
| stmtWHILE | ::= | <TK_WHILE> "(" log_expr ")" "{" ( stmt_body )? "}" |
| stmt_body | ::= | plan_body |
| body_formula | ::= | ( ( ( "!" | "!!" ) literal ) | ( ( "?" | "+" ( "+" | "<" | ">" )? | "-" ( "+" | "-" )? )? ( log_expr | "(" plan_body ")" ) ) ) |
| rule_plan_term | ::= | "{" ( ( plan_term_annotation )? trigger ( ":" log_expr )? ( ( ";" ( plan_body )? | <TK_LEFT_ARROW> plan_body ) )? | plan_body ( <TK_RULE_SEP> log_expr )? )? "}" |
| plan_term_annotation | ::= | <TK_LABEL_AT> ( ( <ATOM> | <TK_BEGIN> | <TK_END> ) ( list )? | var | list ) |
/* Literal */ |
||
| literal | ::= | ( ( namespace )? ( <TK_NEG> )? ( pred | var ) | <TK_TRUE> | <TK_FALSE> ) |
| namespace | ::= | ( <ATOM> | var )? <TK_NS_SEP> |
/* Annotated Formulae */ |
||
| pred | ::= | ( <ATOM> | <TK_BEGIN> | <TK_END> ) ( "(" terms ")" )? ( list )? |
/* List of terms */ |
||
| terms | ::= | term ( "," term )* |
| term | ::= | log_expr |
| list | ::= | "[" ( term_in_list ( "," term_in_list )* )? ( "|" ( <VAR> | <UNNAMEDVAR> | list ) )? "]" |
// term_in_list is the same as term, but log_expr/plan_body must be enclosed by "("....")" to avoid problem with |
|
||
| term_in_list | ::= | ( list | arithm_expr | string | rule_plan_term ) |
/* logical expression */ |
||
| log_expr | ::= | log_expr_trm ( "|" log_expr )? |
| log_expr_trm | ::= | log_expr_factor ( "&" log_expr_trm )? |
| log_expr_factor | ::= | ( <TK_NOT> )? rel_expr |
/* relational expression
used in context, body and term
[
|
||
| rel_expr | ::= | ( arithm_expr | string | list | rule_plan_term ) ( ( "<" | "<=" | ">" | ">=" | "==" | "\\==" | "=" | "=.." ) ( arithm_expr | string | list | rule_plan_term ) )? |
/* arithmetic expression */ |
||
| arithm_expr | ::= | arithm_expr_trm ( ( "+" | "-" ) arithm_expr_trm )* |
| arithm_expr_trm | ::= | arithm_expr_factor ( ( "*" | "/" | <TK_INTDIV> | <TK_INTMOD> ) arithm_expr_factor )* |
| arithm_expr_factor | ::= | arithm_expr_simple ( ( "**" ) arithm_expr_factor )? |
| arithm_expr_simple | ::= | ( "+" | "-" )? ( <NUMBER> | ( "(" log_expr ")" ) | function ) |
| function | ::= | literal |
| var | ::= | ( <VAR> | <UNNAMEDVARID> | <UNNAMEDVAR> ) ( list )? |
| string | ::= | <STRING> |