-
-
Notifications
You must be signed in to change notification settings - Fork 22
Implement tabling #65
Copy link
Copy link
Open
Labels
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededimportantperformanceterm rewriting
Description
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededimportantperformanceterm rewriting
We could really use some form of tabling (i.e. a logic programming form of memoization).
See Byrd, William E. 2009. “Relational Programming in MiniKanren: Techniques, Applications, and Implementations.” for a detailed description and reference implementation.