コード例 #1
0
def apply_to(asker, arg, comp, vars):
    bindings = dictionaries.from_items(lists.zip(vars, arg))
    return asker.ask_tail(run(comp, bindings))
コード例 #2
0
ファイル: script.py プロジェクト: paulfchristiano/interpreter
import convert
import representations
import properties
import updates
import outlines
import builtins
import computations
import term
import termtypes
import state
import views
import functions
import strings
from term import Term as T

k = updates.update(updates.trivial(), T.from_int(0))
d = T('test [a]', a=k)
Q = T('a question about [this]', this=k)
asker = ask.Asker(Q)

a = T('a')
b = T('b')
c = T('c')

l1 = T.from_list([a, b, c])
l2 = T.from_list([a, a, a])

l12 = lists.zip(l1, l2)

d = dictionaries.from_items(l12)