Вы здесь

Главная

пролог

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

A Bottom-Up Interpreter for a Higher-Order Logic Programming Language
Abstract Machine Approach to Operational Semantics of Prolog
A -calculus Specification of Prolog
A Conceptual and Contextual Object-Oriented Logic Programming: The PROLOG++ Language
A Continuation-Passing Style for Prolog
Adding Data and Procedure Abstraction to the Transparent Prolog Machine (TPM)
A Decision Procedure for Propositional N-Prolog
A Decision Tree Compilation Algorithm for FCP( ,:,?)
A Declarative Semantics for the PROLOG Cut Operator
A Framework for Prolog Debugging
A General Trace Query Mechanism Based on Prolog
A Generic Abstract Interpretation Algorithm and Its Complexity Analysis
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations)
Agent-Oriented Programming: From Prolog to Guarded Definite Clauses
A Higher Order Reconstruction of Stepwise Enhancement
Algebraic Computational Models of OR-parallel Execution of Prolog
Algorithmic Debugging for Imperative Languages with Side-effects
A Logical Semantics for Depth-First Prolog with Ground Negation
A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database
A Memory Manadement for Prolog
A Modularization Approach for Prolog Knowledge Bases
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces
A Multiple-Valued Logical Semantics for Prolog
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut
An Abstract Machine for CLP (R)
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
An Algebraic Semantics of Prolog Program Termination
An Alternative Characterization of Disjunctive Logic Programs
Analyse et transformation de programmes Prolog en vue deleur parallelisation aves les predicats paror et parand
An Analysis of Dynamic Scheduling Techniques for Symbolic Applications
An analysis of loop checking mechanisms for logic programs
An And-Parallelism Cooperative Scheme for Full Prolog Interpreters on a Transputer-Based Architecture
An Architectural Model for a Flat Concurrent Prolog Processor
An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog
An Extended Entity-Relationship Model. Fundamentals and Pragmatics
An Implementation Technique for the Abstract Interpretation of Prolog
An Integrated Information System Powered by Prolog
An Integrated Prolog Programming Environment
An Intelligent Backtracking Schema in a Logic Programming Environment
Annotated Structure Shape Graphs for Abstract Analysis of Prolog
An Optimizing Compiler for CLP (R)
An Overview of LambdaProlog
An Overview of PRIMO: A Portable Interface between Prolog and Relational Databases
An Overview of the Andorra Kernel Language
A Parallel Implementation of Flat Concurrent Prolog
A Paralogical Semantics for the Prolog Cut
A Plan-based Approach to Prolog Recursion
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology