Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-642-15675-5_13

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs

2014English

Tabled Logic Programming Based IP Matching Tool Using Forced Simulation

IEE Proceedings - Computers and Digital Techniques
2004English

Subscription Subsumption Evaluation for Content-Based Publish/Subscribe Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Logic Programs for Consistency-Based Diagnosis.

English

A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Permission-Based Separation Logic for Multithreaded Java Programs

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Reexecution-Based Analysis of Logic Programs With Delay Declarations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

ACE: And/or-Parallel Copying-Based Execution of Logic Programs

1994English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy