Вы здесь

Главная

Logic Programming. Proc. of the 1994 Intern. Symp.

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

Abductive Analysis of Modular Logic Programs
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming
A Continuation-Passing Style for Prolog
AKL(FD) - A Concurrent Language for FD Programming
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut
Analysis of SLG-WAM Evaluation of Definite Programs
A Simple Program Transformation for Parallelism
A Syntactic Stratification Condition Using Constraints
Cardinality Analysis of Prolog
Characterization of Some Semantics for Logic Programs with Negation and Application to Program Validation
Combinatory Logic Programming: Computing in Relation Calculi
Combining Functional and Logic Programming Languages
Complexity and Expressive Power of Disjunctive Logic Programming
Conjunto: Constraint Logic Programming with Finite Set Domains
Datalog with Integer Periodicity Constraints
Detection and Optimization of Suspension-free Logic Programs
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization
Efficient Incremental Evaluation of Queries with Aggregation
Encapsulated Search for Higher-order Concurrent Constraint Programming
Improving Abstract Interpretations by Systematic Lifting to the Powerset
Localizations of Unification Freedom through Matching Directions
Mutually Exclusive Rules in Logic Programming
Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs
Probabilistic Deductive Databases
Signed Logic Programs
SLD-Resolution with Reflection
Strategies for Scheduling And- and Or-Work in Parallel Logic Programming Systems
Towards Practical Interval Constraint Solving in Logic Programming
Tractable Argumentation Semantics via Iterative Belief Revision