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

doi 10.7551/mitpress/4316.003.0019

Full Text

Abstract

Available in

Date

January 1, 1994

Authors

Unknown

Publisher

The MIT Press

Related search

Variant-Based Competitive Parallel Execution of Sequential Programs

English

Or-Parallel Execution Models of Prolog

English

Scheduling Strategies for Optimistic Parallel Execution of Irregular Programs

English

The Sync Model: A Parallel Execution Method for Logic Programming

English

Logic Programs for Consistency-Based Diagnosis.

English

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

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Document Copying or Microfilm

Multidisciplinary

English

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Handling Side-Effects With Selective Recomputation in AND/OR Parallel Execution Models

English