def anygoal(s):
reifiedgoals = (reify(goal, s) for goal in goals)
def f(goals):
for goal in goals:
try:
yield goaleval(goal)(s)
except EarlyGoalError:
pass
return unique(interleave(f(reifiedgoals), [EarlyGoalError]),
key=dicthash)
def anygoal(s):
reifiedgoals = (reify(goal, s) for goal in goals)
def f(goals):
for goal in goals:
try:
yield goaleval(goal)(s)
except EarlyGoalError:
pass
return unique(interleave(f(reifiedgoals), [EarlyGoalError]),
key=dicthash)
def run(n, x, *goals, **kwargs):
""" Run a logic program. Obtain n solutions to satisfy goals.
n - number of desired solutions. See ``take``
0 for all
None for a lazy sequence
x - Output variable
goals - a sequence of goals. All must be true
>>> from logpy import run, var, eq
>>> x = var()
>>> run(1, x, eq(x, 1))
(1,)
"""
return take(n,
unique(reify(x, s) for s in goaleval(lallearly(*goals))({})))
def run(n, x, *goals, **kwargs):
""" Run a logic program. Obtain n solutions to satisfy goals.
n - number of desired solutions. See ``take``
0 for all
None for a lazy sequence
x - Output variable
goals - a sequence of goals. All must be true
>>> from logpy import run, var, eq
>>> x = var()
>>> run(1, x, eq(x, 1))
(1,)
"""
results = (reify(x, s) for s in goaleval(lallearly(*goals))({}))
return take(n, unique(results, key=multihash))
def allgoal(s):
g = goaleval(reify(goals[0], s))
return unique(interleave(
goaleval(reify((lall, ) + tuple(goals[1:]), ss))(ss)
for ss in g(s)),
key=dicthash)
def allgoal(s):
g = goaleval(reify(goals[0], s))
return unique(interleave(
goaleval(reify((lall,) + tuple(goals[1:]), ss))(ss)
for ss in g(s)),
key=dicthash)
