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