Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Logic Programming: Proc./1990 North American Conf.
Связанные издания:
Abstract Interpretation for Concurrent Logic Languages
A Characterization of Non-Floundering Logic Programs
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design
Adding Negation-as-Failure to Intuitionistic Logic Programming
Algebraic Properties of a Class of Logic Programs
An Algebraic Framework for Abstract Interpretation of Definite Programs
An Algebraic Semantics of Logic Programs as Structured Transition Systems
Analysis of Constraint Logic Programs
A Partial Evaluation Procedure for Logic Programs
Avoiding Duplicate Proofs
Comparative Semantics for a Parallel Contextual Logic Programming Language
Compilation of Compound Terms in Prolog
Computational Complexity and Constraint Logic Programming Languages
Concurrent Logic Programming Asynchronous and Language Comparison
Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry
Constraint Logic Programming: From Theory to Applications
Deductive Database Systems: Applications and Programming
Failure and Success made Symmetric
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload
Finding Advantageous Orders for Argument Unification for the Prolog WAM
From Decision Trees to Decision Graphs
Generation Type Garbage Collection for Parallel Logic Languages
Handling of Speculative Work in OR-Parallel PROLOG: Evaluation Results
Hyperproof: An Excursion in Situated Logic
Is There Anything Better than Magic?
Janus: A Step Towards Distributed Constraint Programming
Joining AND Parallel Solutions in AND/OR Parallel Systems
Memory Compaction for Shared Memory Multiprocessors
Meta Programming as Constraint Programming
Negative Logic Programs
Null Values Definite Programs
On Constructive Negation for Disjunctive Logic Programs
On Criteria for Or-Parallel Execution Models of Logic Programs
On the Elimination of Redundant Derivations During Execution
Operational and Denotational Semantics of Rewrite Programs
Optimizing And-Or Parallel Implementations
Parallel Implementations of Prolog
Partial Evaluation for Hierarchies of Logic Theories
Partial Evaluation of a CLP Language
Prolog and Natural-Language Analysis: Into the Third Decade
Reasoning in Inconsistent Databases
Scheduling and Variable Assignment in the Parallel Prolog Implementation
Stationary Semantics for Disjunctive Logic Programs and Deductive Databases
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler
The Logical Structure of Sequential Prolog
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog
The Muse Or-Parallel Prolog Model and its Performance
Towards More Efficient Loop Checks