|
Easy iterative deepening of recursion depth
|
3
|
1540
|
September 2, 2019
|
|
Alternative to tabling for transitive closures
|
0
|
1321
|
September 4, 2019
|
|
Declarative predicates by limiting resources
|
28
|
1989
|
August 31, 2019
|
|
Iterative Deepening and Cuts
|
10
|
628
|
October 22, 2020
|
|
A=call(A), call(A). % can I get tail recursion?
|
13
|
1021
|
April 24, 2022
|
It works now.