Package teamwork :: Package widgets :: Package PsychGUI :: Module prolog

[frames] | no frames]

Module prolog

source code

Classes

[hide private]

Term

Rule

Goal

Functions

[hide private]

fatal(mesg)

source code

split(l, sep, All=1)
Split l by sep but honoring () and []

source code

isVariable(term)

source code

isConstant(term)

source code

splitInfix(s)

source code

makeTerm(s)

source code

procRule(sent)

source code

clearPrologRules()

source code

main()

source code

procFile(f, prompt)

source code

unify(src, srcEnv, dest, destEnv)
update dest env from src.

source code

sts(ok, why)

source code

search(term)

source code

add(a, b)

source code

sub(a, b)

source code

mul(a, b)

source code

lt(a, b)

source code

eq(a, b)

source code

preport(a)

source code

eval(term, env)

source code

Variables

[hide private]

rules = []

trace = 0

indent = ''

infixOps = ('*is*', '==', '<', '>', '+', '--', '*', '/')

operators = {'+': add, '--': sub, '*': mul, '<': lt}

Function Details

[hide private]

unify(src, srcEnv, dest, destEnv)

source code

update dest env from src. return true if unification succeeds