Python to_term_bindings Examples

Example #1

File: computations.py Project: paulfchristiano/interpreter

def make_term(asker, computation_bindings, head, bindings):
    return asker.reply(answer=representations.make(
        strings.to_str(asker, head),
        dictionaries.to_term_bindings(asker, bindings)
    ))

Example #2

File: computations.py Project: paulfchristiano/interpreter

def askQ(asker, computation_bindings, head, bindings):
    return asker.ask_tail(T(strings.to_str(asker, head), dictionaries.to_term_bindings(asker,bindings)))