We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SC
< prev | next >
new | recent | 2009

Change to browse by:

cs
cs.DS
cs.IR

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Symbolic Computation

Title: A Low-Level Index for Distributed Logic Programming

Authors: Thomas Prokosch (Institute for Informatics, Ludwig-Maximilian University of Munich, Germany)
(Submitted on 22 Sep 2020)
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.
Comments: In Proceedings ICLP 2020, arXiv:2009.09158
Subjects: Symbolic Computation (cs.SC); Data Structures and Algorithms (cs.DS); Information Retrieval (cs.IR)
Journal reference: EPTCS 325, 2020, pp. 303-312
DOI: 10.4204/EPTCS.325.40
Cite as: arXiv:2009.10255 [cs.SC]
  (or arXiv:2009.10255v1 [cs.SC] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 22 Sep 2020 00:52:15 GMT (72kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.