org.bomba_lang.proto

Class Program

java.lang.Object

org.bomba_lang.proto.Program

All Implemented Interfaces:

Validating

Direct Known Subclasses:

GroundProgram

public class Program
extends Object
implements Validating

Main logic program entry point.

The Atom2Rule implicit allows to use atoms as arguments (in this case, atoms represent basic rules).

The program guarantees that a predicate has only one arity within it.

Constructor Summary

Constructors

Constructor and Description
Program(scala.collection.Seq<Rule> rules)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
scala.collection.immutable.Set<scala.Tuple2<String,scala.collection.immutable.Set<Object>>>	findMismatchedArities()
boolean	modelOf(scala.collection.immutable.Set<Literal> i)
scala.collection.Seq<Rule>	rules()
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	solve(scala.Function0<Solver> solverGen)
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	solve(Program mergedProgram, scala.Function0<Solver> solverGen) Allows for adding program snippets and data, idiomatic to interaction with "normal" code.
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	solve(scala.collection.Seq<Rule> mergedRule, scala.Function0<Solver> solverGen) Same as above, but for rules (TODO: allow implicit into program?)
String	toString()
scala.collection.Seq<scala.Tuple2<Rule,scala.collection.immutable.Set<scala.Symbol>>>	unsafeRuleVariablePairs()

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Program

public Program(scala.collection.Seq<Rule> rules)

Method Detail

rules

public scala.collection.Seq<Rule> rules()

findMismatchedArities

public scala.collection.immutable.Set<scala.Tuple2<String,scala.collection.immutable.Set<Object>>> findMismatchedArities()

unsafeRuleVariablePairs

public scala.collection.Seq<scala.Tuple2<Rule,scala.collection.immutable.Set<scala.Symbol>>> unsafeRuleVariablePairs()

modelOf

public boolean modelOf(scala.collection.immutable.Set<Literal> i)

Specified by:

modelOf in interface Validating

Returns:

true iff this interpretation is a model of this instance

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

solve

public scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> solve(scala.Function0<Solver> solverGen)

solve

public scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> solve(Program mergedProgram,
                                                                            scala.Function0<Solver> solverGen)

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

solve

public scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> solve(scala.collection.Seq<Rule> mergedRule,
                                                                            scala.Function0<Solver> solverGen)

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