scientific article; zbMATH DE number 4113971

MaRDI QIDQ4729329zbMATH OpenFDO

Authors Alain Colmerauer

Publication date 1989

zbMATH Keywords

constraint resolutionprogramming languagePrologunification

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(12)

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

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)