Enumeration of success patterns in logic programs

• 25 January 2006
• book chapter
• Published by Springer Nature
• p. 640-652
• https://doi.org/10.1007/bfb0036944

Abstract

Keywords

• ITEM SET CONSTRUCTION
• FINITE
• TERM DEPTH