YapTab

MaRDI QIDQ25805swMATHFDO

Official website http://www.dcc.fc.up.pt/~fds/FdsPapers/w2000_TAPD.pdf

Cited in

(11)

• CAT
• YapOr
• OPTYap
• On combining linear-based strategies for tabled evaluation of logic programs
• On applying or-parallelism and tabling to logic programs
• scientific article; zbMATH DE number 2085268 (Why is no real title available?)
• Logic Programming
• Handling Incomplete and Complete Tables in Tabled Logic Programs
• Logic Programming
• Logic Programming
• Logic Programming

This page was built for software: YapTab