Uses of Interface
org.bomba_lang.proto.Implicative

Uses of Implicative in org.bomba_lang.proto

Subinterfaces of Implicative in org.bomba_lang.proto

Modifier and Type	Interface and Description
interface	DisjunctiveImplicative "Worker" trait for head elements of rules, adding the necessary functional syntax to compose a rule.

Classes in org.bomba_lang.proto that implement Implicative

Modifier and Type	Class and Description
class	Literal Basic Literal/Atom, building block of rules.