Demand-Driven Indexing of Prolog Clauses

No abstract is available for this paper.

• Publication year

  2007

• Venue

  International Conference on Logic Programming

• Publication date

  2007-09-08

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-540-74610-2_27
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Under consideration for publication in Theory and Practice of Logic Programming 1 Fast Frequent Querying with Lazy Control Flow Compilation

  2005cited by this paper
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

  2005cited by this paper
• SWI-Prolog 5.6 Reference Manual

  2004cited by this paper
• Efficient Access Mechanisms for Tabled Logic Programs

  1999cited by this paper
• The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language

  1996cited by this paper
• Unification factoring for efficient execution of logic programs

  1995cited by this paper
• A Matching Tree Oriented Abstract Machine for Prolog

  1990cited by this paper
• On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog

  1989cited by this paper
• Global Compilation of Prolog

  1989cited by this paper
• Indexing in Prolog

  1989cited by this paper
• YAP user''s manual

  1989cited by this paper
• A Decision Tree Compilation Algorithm for FCP(!, : , ?)

  1988cited by this paper
• Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism

  1987cited by this paper
• Freeze, Indexing, and Other Implementation Issues in the WAM

  1987cited by this paper
• The XSB Programmer’s Manual

  year unknowninfluential reference

• Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog

  2024cites this paper
• Fifty Years of Prolog and Beyond

  2022cites this paper
• Scalable logic defined static analysis

  2019cites this paper
• Relational Learning with GPUs: Accelerating Rule Coverage

  2016cites this paper
• Meta-Tracing Just-in-Time Compilation for RPython

  2014cites this paper
• Towards an Efficient Prolog System by Code Introspection

  2014cites this paper
• Pre-indexed Terms for Prolog

  2014cites this paper
• Logic-Based Program Synthesis and Transformation, Preliminary Proceedings

  2014cites this paper
• A MapReduce Construct for Yap Prolog

  2013cites this paper
• Prolog: A Linguagem, A Máquina Abstrata de Warren e Implementações

  2013cites this paper
• BigYAP: Exo-compilation meets UDI

  2013cites this paper
• Formalization of treatment guidelines using Fuzzy Cognitive Maps and semantic web tools

  2012cites this paper
• Towards pre-indexed terms

  2012cites this paper
• A design and implementation of the Extended Andorra Model 1

  2011cites this paper
• The language features and architecture of B-Prolog

  2011cites this paper
• Técnicas avanzadas de compilación para programación lógica

  2010cites this paper
• On the Implementation of the CLP(BN\mathcal BN) Language

  2010cites this paper
• On the implementation of the probabilistic logic programming language ProbLog

  2010cites this paper
• Efficient learning and evaluation of complex concepts in inductive logic programming

  2010cites this paper
• When Does It Pay Off to Use Sophisticated Entailment Engines in ILP?

  2010cites this paper
• Towards a jitting VM for prolog execution

  2010cites this paper
• On Applying Linear Tabling to Logic Programs

  2010cites this paper
• A workbench to develop ILP systems

  2010cites this paper
• On Applying Linear Tabling to Logic Programs

  2010cites this paper
• On Just in Time Indexing of Dynamic Predicates in Prolog

  2009cites this paper
• On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs

  2009cites this paper
• Improving the efficiency of inductive logic programming systems

  2009cites this paper
• Design Patterns for Tabled Logic Programming

  2009cites this paper
• User Defined Indexing

  2009cites this paper
• On Supporting Parallelism in a Logic Programming System

  2008cites this paper
• TopLog: ILP Using a Logic Program Declarative Bias

  2008cites this paper
• Implementing Joins Using Extensible Pattern Matching

  2008cites this paper
• The Life of a Logic Programming System

  2008cites this paper
• Fast, effective program analysis for object-level parallelism

  2008cites this paper
• STATEMENT OF RESEARCH INTERESTS

  2007cites this paper
• Big facts, void variables, the WAM and exo-compilation

  2007cites this paper
• Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System

  2007cites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming a Design and Implementation of the Extended Andorra Model *

  year unknowncites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming Description and Optimization of Abstract Machines in a Dialect of Prolog *

  year unknowncites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming Subsumer: a Prolog Θ-subsumption Engine

  year unknowncites this paper
• On the Implementation of a Lock-Free Atom Table in a Prolog System

  year unknowncites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming the Yap Prolog System

  year unknowncites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming towards an Efficient Prolog System by Code Introspection

  year unknowncites this paper