scientific article; zbMATH DE number 4113971

zbMATH Open0679.68045MaRDI QIDQ4729329FDOQ4729329

Authors: Alain Colmerauer 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4076677
• scientific article; zbMATH DE number 4078850
• scientific article; zbMATH DE number 946439
• scientific article
• Replacing unification by constraint satisfaction to improve logic program expressiveness

zbMATH Keywords

programming languageunificationPrologconstraint resolution

Mathematics Subject Classification ID

Artificial intelligence (68T99) Theory of software (68N99)

Cited In (11)

• Algèbres effectives dans la programmation logique avec contraintes
• Combination techniques and decision problems for disunification
• Title not available (Why is that?)
• Conditional narrowing modulo a set of equations
• IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM
• Prolog-oriented support of calculations
• Using an extended PROLOG to solve the lion and unicorn Puzzle
• Rotations in the plane and Prolog
• Prolog infinite trees and automata
• Replacing unification by constraint satisfaction to improve logic program expressiveness
• Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4729329)