Вы здесь

Главная

prolog

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

Natural Deduction Proof Theory for Logic Programming
Netlog - A Concept Oriented Logic Programming Language
On computability by logic programs
Operational and Denotational Semantics for Prolog with Input-Output Predicates
Opium - A High-level Debugging Environment
Parallel Bounded Quantification - Preliminary Results
Parallel Implementations of Prolog
Performance of Muse on the BBN Butterfly TC2000
Practical Aspects of Declarative Languages: Proc./8th International Symposium, PADL 2006. Charleston, SC, USA, January 2006
Prolog and Natural-Language Analysis: Into the Third Decade
Prolog Testing of C Modules
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter
ProQuel:Using Prolog to Implement a Deductive Database System
Rule-Based Programming
SAME - A Structured Analysis Tool and its Implementation in Prolog
Selecting Choice Points in an Intelligent Backtracking Schema
SEPIA - a Basis for Prolog Extensions
SICStus Prolog Library Manual. Version 2.1 #8
SICStus Prolog Release 2.1
SICStus Prolog User s Manual. Version 2.1 #9
Sleepers: A Versatile High-Level Control Mechanism
SLWV - A Theorem Prover for Logic Programming
Solving Temporal Constraints Satisfaction Problems with an Object-Oriented Model
The Application of Programming Languages to the Production of Reference Implementations
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler
The External Database in SICStus Prolog
The KCM System: Speeding-up Logic Programming through Hardware Support
The Logical Structure of Sequential Prolog
The Mathematics of Set Predicates in Prolog
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog
The Muse Or-Parallel Prolog Model and its Performance
Typed Prolog: A Semantic Reconstruction of the Mycroft-O Keefe Type System
Type inference in Prolog: a new approach
Unification-Free Execution of Typol Programs by Semantic Attribute Evaluation