Intelligent backtracking in \(\text{CLP}(\Re)\)

DOI10.1007/BF02127968zbMath0891.68019OpenAlexW2035552875MaRDI QIDQ1380423

Charles E. Hughes, Sheau-Dong Lang, Jennifer J. Burg

Publication date: 29 March 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02127968

zbMATH Keywords

constraint logic programming language

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Combination of convex theories: modularity, deduction completeness, and explanation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A data-dependency-based intelligent backtracking scheme for PROLOG
• Letters to the Editor

This page was built for publication: Intelligent backtracking in \(\text{CLP}(\Re)\)