Theory and Practice of Logic Programming 1 Efficient Tabling of Structured Data with Enhanced Hash-Consing

Source URL: www.sci.brooklyn.cuny.edu

Function Memoization and Unique Object Representation for ACL2 Functions Robert S. Boyer

Source URL: www.cs.utexas.edu

• Lisp programming language
• ACL2
• Memoization
• Lisp
• Dynamic programming
• Cons
• Nqthm
• Hash consing
• Defun
• Computing
• Computer programming
• Software engineering