Uses of Package
org.bomba_lang.proto

Classes in org.bomba_lang.proto used by org.bomba_lang.proto

Class and Description
annotImpl$
AtomContainer Helper trait for rule composition.
Conjunctive "Worker" trait for body elements of rules.
DisjunctiveImplicative "Worker" trait for head elements of rules, adding the necessary functional syntax to compose a rule.
GroundProgram
Implicative "Worker" trait for head parts of a rule, specialized specifically to facilitate constraints.
Literal Basic Literal/Atom, building block of rules.
Literal$
Program Main logic program entry point.
Rule Base logic rule class.
Rule$
Solver General trait for logic programming solvers, base for any custom implementations.
SolverSpec
Validating Represents objects that can verify the validity of interpretations.