Вы здесь

Главная

Logic Programming: Proc./Fifth Intern. Conf. and Symp.

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

Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment
MetaProlog Design and Implementation
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming
Models, Unfolding Rules and Fixpoint Semantics
Multiple Interpretations of the Logical Structure of Legal Rules: Implement or Boon to Legal Expert Systems?
Objects as Intensions
On the Practicality of Global Flow Analysis of Logic Programs
OR-Parallel Execution of Prolog on BC-Machine
Or-Parallel Speed-up in Natural Language Processing: A Case Study
Parallelizing NU-Prolog
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter
Representing Linguistic Knowledge through Logic Programming
Rewriting in Order-sorted Equational Logic
SAME - A Structured Analysis Tool and its Implementation in Prolog
Scheduling OR-Parallelism: An Argonne Perspective
Solving a Cutting-Stock Problem in Constraint Logic Programming
Static Analysis of Parallel Logic Programs
Subset-logic Programming Application and Implementation
SWIFT - a New Symbolic Processor
Testing Data Flow Diagrams with Parlog
The Delphi Model and Some Preliminary Experiments
Towards a Clean Amalgamation of Logic Programs with External Procedures
Transparent And-Parallelism in the Presence of Shared Free Variables
Types of Trilogy
Unification-Free Execution of Typol Programs by Semantic Attribute Evaluation
Weak Completion Theory for Non-Horn Programs
Yet Another Intelligent Backtracking Method