alice.tuprologx.pj.annotations
Annotation Types
PrologClass
PrologField
PrologMethod
Termifiable
TRACE
WithTermifiable