Commits

Show all
Author Commit Message Labels Comments Date
Pierre Carbonnelle
call get_fact_id only once
Pierre Carbonnelle
Cythonize Subgoal
Pierre Carbonnelle
remove Subgoal.iterable
Pierre Carbonnelle
strictly enforce clause order for functions
Pierre Carbonnelle
minor documentation changes
Pierre Carbonnelle
remove 'with block' to simplify iterations in Subgoal.search
Pierre Carbonnelle
fix an even stranger case than issue #14
Pierre Carbonnelle
fix issue #14. show(task)
Pierre Carbonnelle
add negation tests
Pierre Carbonnelle
cache for literal.pred.recursive
Pierre Carbonnelle
Replace stack of stack by LIFO + FIFO stack.
Pierre Carbonnelle
Subgoal.tasks is a deque().
Pierre Carbonnelle
recursive should use .id, not .name
Pierre Carbonnelle
hashtag 20x faster !! --> change graph.py too
Pierre Carbonnelle
synchronize task to recursive subgoal
Pierre Carbonnelle
? hashtag in 38 seconds
Pierre Carbonnelle
subgoal.fact(), .fact_candidate(), .rule()
Pierre Carbonnelle
add Slow_motion traces
Pierre Carbonnelle
use tuples for waiters
Pierre Carbonnelle
clear subgoal.waiters when done
Pierre Carbonnelle
use block of tasks to manage recursive, STM
Pierre Carbonnelle
collect gc maximum once per ask()
Pierre Carbonnelle
move loop out of try: except:
Pierre Carbonnelle
fix indentation problem when evaluating code + misc
Pierre Carbonnelle
inline resolve()
Pierre Carbonnelle
clarity : reorganize chronologically
Pierre Carbonnelle
clarity : don't use lambda in complete()
Pierre Carbonnelle
always append to tasks; popleft or right in next_steps. + doc
Pierre Carbonnelle
clarify what to do on subgoal completion
Pierre Carbonnelle
test for multiple thunks
  1. Prev
  2. Next