Pre-indexed Terms for Prolog
From MaRDI portal
Publication:2949716
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
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