A Low-Level Index for Distributed Logic Programming
Symbolic Computation
2020-09-23 v1 Data Structures and Algorithms
Information Retrieval
Abstract
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.
Cite
@article{arxiv.2009.10255,
title = {A Low-Level Index for Distributed Logic Programming},
author = {Thomas Prokosch},
journal= {arXiv preprint arXiv:2009.10255},
year = {2020}
}
Comments
In Proceedings ICLP 2020, arXiv:2009.09158