Skip to content

Instantly share code, notes, and snippets.

@vext01

vext01/LOG

Created February 17, 2014 14:42
Show Gist options
  • Save vext01/9051834 to your computer and use it in GitHub Desktop.
Save vext01/9051834 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
LOG
Traceback (most recent call last):
File "app_main.py", line 72, in run_toplevel
File "pimpl.py", line 250, in <module>
s.solve(clauses)
File "pimpl.py", line 185, in solve
for (model, ) in self.engine.db.sat.iter(pl_clauses, None):
File "/home/edd/research/unipycation-shared/pypy/lib_pypy/uni.py", line 240, in next
sol = self.it.next()
PrologError: PROLOG: Traceback (most recent call last):
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "<unknown>" lines 35-36 in user:elim_var/1
elim_var([Var | Vars]) :-
elim_var(Vars), (Var = true; Var = false).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/coroutines.pl" lines 79-81 in coroutines:when_impl/2
when_impl((A; B), Goal) :- !,
coroutines:when_impl(A, coroutines:call_when_disjoint(Z, Goal)),
coroutines:when_impl(B, coroutines:call_when_disjoint(Z, Goal)).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/coroutines.pl" lines 79-81 in coroutines:when_impl/2
when_impl((A; B), Goal) :- !,
coroutines:when_impl(A, coroutines:call_when_disjoint(Z, Goal)),
coroutines:when_impl(B, coroutines:call_when_disjoint(Z, Goal)).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
File "/home/edd/research/unipycation-shared/pypy/pyrolog/prolog/prolog_modules/when.pl" lines 3-10 in when:attr_unify_hook/2
attr_unify_hook(Goal, Value) :-
(attvar(Value)
->
coroutines:put_when_attributes([Value], Goal),
walk_goals(Goal)
;
call(Goal)
).
,/2: arguments not sufficiently instantiated
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment