Incremental constraint satisfaction for equational logic programming
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4209573
- An equational approach to logic programming
- Efficient program synthesis using constraint satisfaction in inductive logic programming
- scientific article; zbMATH DE number 2209387
- Efficient interval linear equality solving in constraint logic programming
- Optimized algorithms for incremental analysis of logic programs
- Constraint satisfaction using constraint logic programming
- Induction of Constraint Logic Programs
- Foundations of equational logic programming
Cites work
- scientific article; zbMATH DE number 3871321 (Why is no real title available?)
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 4164127 (Why is no real title available?)
- scientific article; zbMATH DE number 3930372 (Why is no real title available?)
- scientific article; zbMATH DE number 3938563 (Why is no real title available?)
- scientific article; zbMATH DE number 3945331 (Why is no real title available?)
- scientific article; zbMATH DE number 3974342 (Why is no real title available?)
- scientific article; zbMATH DE number 4031035 (Why is no real title available?)
- scientific article; zbMATH DE number 4045129 (Why is no real title available?)
- scientific article; zbMATH DE number 4053008 (Why is no real title available?)
- scientific article; zbMATH DE number 4053009 (Why is no real title available?)
- scientific article; zbMATH DE number 4053011 (Why is no real title available?)
- scientific article; zbMATH DE number 4089518 (Why is no real title available?)
- scientific article; zbMATH DE number 3688776 (Why is no real title available?)
- scientific article; zbMATH DE number 108365 (Why is no real title available?)
- scientific article; zbMATH DE number 193539 (Why is no real title available?)
- scientific article; zbMATH DE number 549952 (Why is no real title available?)
- scientific article; zbMATH DE number 549964 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 1158761 (Why is no real title available?)
- A rationale for conditional equational programming
- Basic narrowing revisited
- Completeness results for basic narrowing
- Conditional equational theories and complete sets of transformations
- Conditional rewrite rules
- Conditional rewrite rules: Confluence and termination
- Extended unification algorithms for the integration of functional programming into logic programming
- Extending SLD resolution to equational horn clauses using E-unification
- Foundations of equational logic programming
- Horn equational theories and paramodulation
- Kernel-LEAF: A logic plus functional language
- Logic programming with equations
- Logic programming with functions and predicates: The language Babel
- Login: a logic programming language with built-in inheritance
- Narrowing vs. SLD-resolution
- The relation between logic and functional languages: a survey
- Unification theory
Cited in
(8)- Termination of narrowing revisited
- Incremental Linear Constraint Solving and Detection of Implicit Equalities
- scientific article; zbMATH DE number 826301 (Why is no real title available?)
- An execution scheme for interactive problem-solving in concurrent constraint logic programming languages
- Modular Termination of Basic Narrowing
- scientific article; zbMATH DE number 1761889 (Why is no real title available?)
- A modular order-sorted equational generalization algorithm
- A compositional semantic basis for the analysis of equational Horn programs
This page was built for publication: Incremental constraint satisfaction for equational logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1367535)
