Agent iSolutions - Language - Thoughtframe (TFR)

Documentation

Language Specification - Thoughtframe (TFR) - Syntax

Syntax

thoughtframe	::=	thoughtframe thoughtframe-name { { display : ID.literal-string ; } { repeat : ID.truth-value ; } { priority : ID.unsigned ; } { WFR.variable-decl } { [ WFR.precondition-decl thoughtframe-body-decl ] \| thoughtframe-body-decl } }
thoughtframe-name	::=	ID.name
thoughtframe-body-decl	::=	do { [ thoughtframe-body-element ; ]* }
thoughtframe-body-element	::=	CON.consequence