YapTab
From MaRDI portal
Software:25805
No author found.
Related Items (8)
Unnamed Item ⋮ Logic Programming ⋮ Logic Programming ⋮ Logic Programming ⋮ On applying or-parallelism and tabling to logic programs ⋮ Handling Incomplete and Complete Tables in Tabled Logic Programs ⋮ On combining linear-based strategies for tabled evaluation of logic programs ⋮ Logic Programming
This page was built for software: YapTab
