A B C D E F G H I L M N O P R S T U V

A

and(Rule) - Method in interface org.bomba_lang.proto.Conjunctive

Parent method for rule -> new body elem append

and(Literal) - Method in interface org.bomba_lang.proto.Conjunctive

Helper method for and operation variants.

and(Rule) - Method in class org.bomba_lang.proto.Literal

and(Rule) - Method in class org.bomba_lang.proto.Rule

annotImpl - Class in org.bomba_lang.proto

annotImpl() - Constructor for class org.bomba_lang.proto.annotImpl

annotImpl$ - Class in org.bomba_lang.proto

annotImpl$() - Constructor for class org.bomba_lang.proto.annotImpl$

applicable(Set<Literal>) - Method in class org.bomba_lang.proto.Rule

applied(Set<Literal>) - Method in class org.bomba_lang.proto.Rule

apply(Seq<Object>) - Method in class org.bomba_lang.proto.Literal

AtomContainer - Interface in org.bomba_lang.proto

Helper trait for rule composition.

B

body() - Method in class org.bomba_lang.proto.Rule

C

Conjunctive - Interface in org.bomba_lang.proto

"Worker" trait for body elements of rules.

conjunctiveRule(Conjunctive) - Method in class org.bomba_lang.proto.ProgSpec

D

DisjunctiveImplicative - Interface in org.bomba_lang.proto

"Worker" trait for head elements of rules, adding the necessary functional syntax to compose a rule.

E

equals(Object) - Method in class org.bomba_lang.proto.Program

F

findMismatchedArities() - Method in class org.bomba_lang.proto.Program

G

getHead() - Method in interface org.bomba_lang.proto.Implicative

All atoms in the head of this rule element.

getHead() - Method in class org.bomba_lang.proto.Literal

Note: this is the same result as for getPosAtoms, take care when composing new rule syntax!

getHead() - Method in class org.bomba_lang.proto.Rule

getNegAtoms() - Method in interface org.bomba_lang.proto.AtomContainer

getNegAtoms() - Method in class org.bomba_lang.proto.Literal

getNegAtoms() - Method in class org.bomba_lang.proto.Rule

getPosAtoms() - Method in interface org.bomba_lang.proto.AtomContainer

getPosAtoms() - Method in class org.bomba_lang.proto.Literal

getPosAtoms() - Method in class org.bomba_lang.proto.Rule

ground(Map<Object, Object>, List<Object>) - Method in class org.bomba_lang.proto.Literal

Grounds the given literal.

GroundProgram - Class in org.bomba_lang.proto

GroundProgram(Program) - Constructor for class org.bomba_lang.proto.GroundProgram

groundSolver(Solver) - Method in class org.bomba_lang.proto.SolverSpec

H

head() - Method in class org.bomba_lang.proto.Rule

I

impl(Context, Seq<Exprs.Expr<Object>>) - Method in class org.bomba_lang.proto.annotImpl$

impl(Context, Seq<Exprs.Expr<Object>>) - Static method in class org.bomba_lang.proto.annotImpl

Implicative - Interface in org.bomba_lang.proto

"Worker" trait for head parts of a rule, specialized specifically to facilitate constraints.

implicativeRule(DisjunctiveImplicative) - Method in class org.bomba_lang.proto.ProgSpec

implies(Seq<AtomContainer>) - Method in interface org.bomba_lang.proto.Implicative

Parent method for head -> body append.

L

Literal - Class in org.bomba_lang.proto

Basic Literal/Atom, building block of rules.

Literal(String, boolean, Seq<Object>) - Constructor for class org.bomba_lang.proto.Literal

Literal(String) - Constructor for class org.bomba_lang.proto.Literal

Literal$ - Class in org.bomba_lang.proto

Literal$() - Constructor for class org.bomba_lang.proto.Literal$

M

modelOf(Set<Literal>) - Method in class org.bomba_lang.proto.Literal

modelOf(Set<Literal>) - Method in class org.bomba_lang.proto.Program

modelOf(Set<Literal>) - Method in class org.bomba_lang.proto.Rule

modelOf(Set<Literal>) - Method in interface org.bomba_lang.proto.Validating

MODULE$ - Static variable in class org.bomba_lang.proto.annotImpl$

Static reference to the singleton instance of this Scala object.

MODULE$ - Static variable in class org.bomba_lang.proto.Literal$

Static reference to the singleton instance of this Scala object.

MODULE$ - Static variable in class org.bomba_lang.proto.Rule$

Static reference to the singleton instance of this Scala object.

N

NaiveSolver - Class in org.bomba_lang.proto

Reference solver implementation.

NaiveSolver() - Constructor for class org.bomba_lang.proto.NaiveSolver

NaiveSolverSpec - Class in org.bomba_lang.proto

NaiveSolverSpec() - Constructor for class org.bomba_lang.proto.NaiveSolverSpec

name() - Method in class org.bomba_lang.proto.Literal

negBody() - Method in class org.bomba_lang.proto.Rule

O

or(Literal) - Method in interface org.bomba_lang.proto.DisjunctiveImplicative

Parent method for head composition.

or(Literal) - Method in class org.bomba_lang.proto.Literal

org.bomba_lang.proto - package org.bomba_lang.proto

P

PackageSpec - Class in org.bomba_lang.proto

PackageSpec() - Constructor for class org.bomba_lang.proto.PackageSpec

posBody() - Method in class org.bomba_lang.proto.Rule

program() - Method in class org.bomba_lang.proto.GroundProgram

Program - Class in org.bomba_lang.proto

Main logic program entry point.

Program(Seq<Rule>) - Constructor for class org.bomba_lang.proto.Program

ProgSpec - Class in org.bomba_lang.proto

ProgSpec() - Constructor for class org.bomba_lang.proto.ProgSpec

R

Rule - Class in org.bomba_lang.proto

Base logic rule class.

Rule(Set<Literal>, Set<Literal>, Set<Literal>) - Constructor for class org.bomba_lang.proto.Rule

Rule(Set<Literal>, Seq<AtomContainer>) - Constructor for class org.bomba_lang.proto.Rule

Rule$ - Class in org.bomba_lang.proto

Rule$() - Constructor for class org.bomba_lang.proto.Rule$

rules() - Method in class org.bomba_lang.proto.Program

S

solve(GroundProgram) - Method in class org.bomba_lang.proto.NaiveSolver

solve(Function0<Solver>) - Method in class org.bomba_lang.proto.Program

solve(Program, Function0<Solver>) - Method in class org.bomba_lang.proto.Program

Allows for adding program snippets and data, idiomatic to interaction with "normal" code.

solve(Seq<Rule>, Function0<Solver>) - Method in class org.bomba_lang.proto.Program

Same as above, but for rules (TODO: allow implicit into program?)

solve(Seq<Rule>) - Method in interface org.bomba_lang.proto.Solver

solve(Program) - Method in interface org.bomba_lang.proto.Solver

solve(GroundProgram) - Method in interface org.bomba_lang.proto.Solver

Solver - Interface in org.bomba_lang.proto

General trait for logic programming solvers, base for any custom implementations.

SolverSpec - Class in org.bomba_lang.proto

SolverSpec() - Constructor for class org.bomba_lang.proto.SolverSpec

strongNegation() - Method in class org.bomba_lang.proto.Literal

T

terms() - Method in class org.bomba_lang.proto.Literal

testAtom() - Method in class org.bomba_lang.proto.ProgSpec

testDisjRule() - Method in class org.bomba_lang.proto.ProgSpec

testNegRule() - Method in class org.bomba_lang.proto.ProgSpec

testPosRule() - Method in class org.bomba_lang.proto.ProgSpec

toString() - Method in class org.bomba_lang.proto.Literal

toString() - Method in class org.bomba_lang.proto.Program

toString() - Method in class org.bomba_lang.proto.Rule

U

unsafeRuleVariablePairs() - Method in class org.bomba_lang.proto.Program

V

v(Literal) - Method in interface org.bomba_lang.proto.DisjunctiveImplicative

v(Rule) - Method in class org.bomba_lang.proto.Literal

Validating - Interface in org.bomba_lang.proto

Represents objects that can verify the validity of interpretations.

A B C D E F G H I L M N O P R S T U V