A Low-Level Index for Distributed Logic Programming

2020/09/17 by Thomas Prokosch
Computer Science · #Advanced Database Systems and Queries #Artificial intelligence #Computer science #Declarative programming #Functional logic programming #Inductive programming #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Parallel computing #Programming language #Programming paradigm #Search engine indexing #Stream processing #Theoretical computer science #Unification #cs.DS #cs.IR #cs.SC

paper · pdf · doi:10.4204/eptcs.325.40

published as EPTCS 325, 2020, pp. 303-312 · In Proceedings ICLP 2020, arXiv:2009.09158

openalex publication_date 2020/09/17 · arxiv created 2020/09/22 · arxiv updated 2020/09/23 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/06

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.

Citations

• Proceedings 36th International Conference on Logic Programming (Technical Communications)
• The anatomy of vampire
• Algorithm = logic + control
• A Machine-Oriented Logic Based on the Resolution Principle
• The Semantics of Predicate Logic as a Programming Language