The Semantics of Equational Logic Programming as an Instance of CLP

doi 10.7551/mitpress/4313.003.0006
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

The MIT Press

Related search

Representing Actions in Equational Logic Programming

1994English

On Extra Variables in (Equational) Logic Programming

1995English

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Logic Programming From the Perspective of Algebraic Semantics

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

CLP(Flex): Constraint Logic Programming Applied to XML Processing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

An Infinite-Game Semantics for Well-Founded Negation in Logic Programming

Annals of Pure and Applied Logic
Logic
2008English

Comparative Metric Semantics for Commit in Or-Parallel Logic Programming

1997English

Logic Programming as Hypergraph Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

The Varieties of Programming Language Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy