Package org.bomba_lang.proto

Interface Summary

Interface	Description
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.
Implicative	"Worker" trait for head parts of a rule, specialized specifically to facilitate constraints.
Solver	General trait for logic programming solvers, base for any custom implementations.
Validating	Represents objects that can verify the validity of interpretations.

Class Summary

Class	Description
annotImpl
annotImpl$
GroundProgram
Literal	Basic Literal/Atom, building block of rules.
Literal$
NaiveSolver	Reference solver implementation.
NaiveSolverSpec
PackageSpec
Program	Main logic program entry point.
ProgSpec
Rule	Base logic rule class.
Rule$
SolverSpec