Вы здесь

Главная

prolog

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

Abstract Complexity of Prolog Based on WAM
Abstract Views of Prolog Executions in Opium
ADAPT: Automated Debugging in an Adaptive Prolog Tutor
A Fast Prolog-Based Production System Kore/IE
An Abstract Machine to Implement Efficiently OR-AND Parallel Prolog
An Architecture for Prolog Extensions
And-Or Parallelism in Full Prolog with Paged Binding Arrays
A New Top-Down Parsing Algorithm for Left-Recursive DCGs
An Incremental Garbage Collector for WAM-Based Prolog
An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine
An OR Parallel Prolog Model for Distributed Memory Systems
A Novel Method for Parallel Implementation of findall
A Novel Term Compression Scheme and Data Representation in the BinWAM
A Simple and Efficient Copying Garbage Collector for Prolog
Assertive Demons
A System to Visualize and Interact with Prolog Programs
Automatic Exploitation of Or-Parallelism in Prolog
A VLSI Design Environment in Prolog
Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry
Constraint Logic Programming: Select Research
Construction of Programs- an Alternative to Automatic Synthesis
Deduced Relevant Types and Constractive Negation
Deductive Database Systems: Applications and Programming
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains
Enhancing Software Engineering Capabilities of PROLOG by Object-Oriented Concepts
Experiences from a Large Industrial Circuit Design Application
Exploiting Or-parallelism in Optimisation Problems
Exploiting the Full Power of Logic Plus Functional Programming
Extensions to a Parallel Prolog System to Support Real-Time Applications
FIT-PROLOG: a functional/relational language comparison
FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG
Handling of Speculative Work in OR-Parallel PROLOG: Evaluation Results
Implementational Issues in GCLA: A-Sufficiency and the Definiens Operation
Implementing a Notion of Modules in the Logic Programming Language Prolog
Implementing in a Distributed Data Driven OR-Parallel Prolog Environment
Implmentation-Based Analysis and Testing of Prolog Programs
Improvements in Compile-Time Analysis for Ground Prolog
Improving First-Class Array Expressions Using Prolog
Inductive Logic Programming: Revised Selected Papers/16th International Conference, ILP 2006. Santiago de Compostela, Spain, August 2006
Joining AND Parallel Solutions in AND/OR Parallel Systems
LOGIC - LAB Reference: Release 2.1 - September 1985
Logic Programming and PROLOG
Logic Programming: Proc./20th International Conference, ICLP 2004. Saint Malo, France, September 2004
Logic Programming: Proc./23rd International Conference, ICLP 2007. Porto, Portugal, September 2007
Logic Programming: Proc./24th International Conference, ICLP 2008. Udine Italy, December 2008
Message-Brokers and Communicating Prolog Processes
Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment
Metalogic for State Oriented Programming
MPROLOG Documentation. Release 2.1 - September 1985
Multistage Indexing Algorithms for Speeding Prolog Execution