scientific article; zbMATH DE number 4009855

MaRDI QIDQ3759966zbMATH OpenFDO

Authors Christian Codognet, Philippe Codognet, Gilberto File

Publication date 1986

zbMATH Keywords

connection graphsexecution modellogic programming

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 3967899
• scientific article; zbMATH DE number 3976298
• Intelligent Backtracking in Plan-Based Deduction
• A data-dependency-based intelligent backtracking scheme for PROLOG
• scientific article; zbMATH DE number 4047178

Cited in

(9)

• Intelligent backtracking in deduction systems by means of extended unification graphs
• Forward checking and intelligent backtracking
• Intelligent backtracking in \(\text{CLP}(\Re)\)
• Concurrent query processing for logic inference using the connection graph
• scientific article; zbMATH DE number 3858459 (Why is no real title available?)
• scientific article; zbMATH DE number 3915612 (Why is no real title available?)
• Intelligent Backtracking in Plan-Based Deduction
• scientific article; zbMATH DE number 3976298 (Why is no real title available?)
• A data-dependency-based intelligent backtracking scheme for PROLOG

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 Q3759966)