Вы здесь

Главная

Cambridge

Связанные издания:

Multistage Indexing Algorithms for Speeding Prolog Execution
Mutually Exclusive Rules in Logic Programming
Naive Reverse can be Linear
Native Code Compilation in SICStus Prolog
Negation as Failure in Intuitionistic Logic Programming
Negation as Instantiation: A new Rule for the Treatment of Negation in Logic Programming
Negations as Hypotheses: An Abductive Foundation for Logic Programming
Negative Logic Programs
NMCC Programming: Constraint Enforcement and Retraction in CC Programming
Non-monotonic Concurrent Constraint Progpamming
Non-monotonic Reasoning And Logic Programming
Nonmonotonic Reasoning with Well Founded Semantics
Noon-Failure Analysis for Logic Programs
Normal Logic Programs as Open Positive Programs
NP Optimization Problems in Datalog
NSTO Programs (Not Subject To Occur-check)
NUA-Prolog: An Extension to the WAM for Parallel Andorra
Null Values Definite Programs
Objects as Intensions
Objects in Forum
Observational Equivalences for Logic Programs
On Coherence Approach to Logic Program Revision
On Constructive Negation for Disjunctive Logic Programs
On Criteria for Or-Parallel Execution Models of Logic Programs
On Generalized Cover Axioms
On Logic Program Semantics with Two Kinds of Negation
On Normal Forms and Equivalence for Logic Programs
On the Completeness of Residuation
On the Elimination of Redundant Derivations During Execution
On the Practicality of Global Flow Analysis of Logic Programs
On the Scheme of Passing Arguments in Stack Frames for Prolog
On T Logic Programming
Operational and Algebraic Semantics of Concurrent Processes
Operational and Denotational Semantics of Rewrite Programs
Optimization of Disjunctive Queries
Optimization of Logic Programs with Dynamic Scheduling
Optimizations of Bottom-Up Evaluation with Non-Ground Terms (Extended Abstract)
Optimizing And-Or Parallel Implementations
Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs
OR-Parallel Execution of Prolog on BC-Machine
Or-Parallel Speed-up in Natural Language Processing: A Case Study
Output Value Placement in Moded Logic Programs
Overview of the CHIP Compiler System
Oz Explorer: A Visual Constraint Programming Tool
Parallel CLP on Heterogeneous Networks
Parallel Evaluation Strategies for Functional Logic Languages
Parallel Implementations of Prolog
Parallelizing NU-Prolog
Partial Deduction of the Ground Representation and its Application to Integrity Checking
Partial Evaluation for Hierarchies of Logic Theories