Pre-indexed Terms for Prolog

DOI10.1007/978-3-319-17822-6_18zbMath1457.68042OpenAlexW2263389169MaRDI QIDQ2949716

Manuel V. Hermenegildo, Jose Francisco Morales

Publication date: 2 October 2015

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-17822-6_18

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• XSB: Extending Prolog with Tabled Logic Programming
• An overview of Ciao and its design philosophy
• Efficient tabling of structured data with enhanced hash-consing
• Tabling with Answer Subsumption: Implementation, Applications and Performance
• Attributed Data for CHR Indexing
• Towards Typed Prolog

This page was built for publication: Pre-indexed Terms for Prolog