rfgb.logic module

(docstring)

class rfgb.logic.Goal(rule, parent=None, env={})

Bases: object

class for each goal in rule during prolog search

class rfgb.logic.Logic

Bases: object

Class for logic operations.

static constantsPresentInLiteral(literalTypeSpecification)

Returns true if constants present in type specification.

static generateTests(literalName, literalTypeSpecification, clause)

Generates tests for literal according to modes and types.

static getVariables(literal)

Returns variables in the literal.

class rfgb.logic.Prover

Bases: object

class for prolog style proof of query

goalId = 100

static prove(data, example, clause)

Proves if example satisfies clause given the data. Returns True if it satisfies, else return False.

Prover.rules: contains all of the rules. Prover.trace: If this is 1, displays the proof tree. Prover.goalID: stores the goal ID.

rules = []

static search(term)

Method to perform prolog style query search.

trace = 0

static unify(srcTerm, srcEnv, destTerm, destEnv)

Unification method.

class rfgb.logic.Rule(s)

Bases: object

Class for logic rules in prolog proof.

class rfgb.logic.Term(s)

Bases: object

Class for term in prolog proof.