scientific article; zbMATH DE number 4009855

zbMATH Open0622.68079MaRDI QIDQ3759966FDOQ3759966

Authors: Christian Codognet, Philippe Codognet, Gilberto File 

Publication date: 1986

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

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

zbMATH Keywords

logic programmingconnection graphsexecution model

Mathematics Subject Classification ID

Cited In (9)

• Intelligent backtracking in deduction systems by means of extended unification graphs
• Forward checking and intelligent backtracking
• Concurrent query processing for logic inference using the connection graph
• A data-dependency-based intelligent backtracking scheme for PROLOG
• Title not available (Why is that?)
• Intelligent Backtracking in Plan-Based Deduction
• Title not available (Why is that?)
• Intelligent backtracking in \(\text{CLP}(\Re)\)
• Title not available (Why is that?)

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)