A Low-Level Index for Distributed Logic Programming

Thomas Prokosch
(Institute for Informatics, Ludwig-Maximilian University of Munich, Germany)

A distributed logic programming language with support for meta-programming and stream processing offers a variety of interesting research problems, such as: How can a versatile and stable data structure for the indexing of a large number of expressions be implemented with simple low-level data structures? Can low-level programming help to reduce the number of occur checks in Robinson's unification algorithm? This article gives the answers.

In Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo and Fabrizio Riguzzi: Proceedings 36th International Conference on Logic Programming (Technical Communications) (ICLP 2020), UNICAL, Rende (CS), Italy, 18-24th September 2020, Electronic Proceedings in Theoretical Computer Science 325, pp. 303–312.
Published: 19th September 2020.

ArXived at: https://dx.doi.org/10.4204/EPTCS.325.40 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org