scientific article; zbMATH DE number 3976298

MaRDI QIDQ3741017zbMATH OpenFDO

Authors Vipin Kumar, Yow-Jian Lin

Publication date 1986

zbMATH Keywords

AND-parallelismHorn-clause logic programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4009855
• scientific article; zbMATH DE number 3967899
• Intelligent Backtracking in Plan-Based Deduction
• Intelligent backtracking in deduction systems by means of extended unification graphs
• A data-dependency-based intelligent backtracking scheme for PROLOG
• Intelligent backtracking in \(\text{CLP}(\Re)\)
• Program Development in Computational Logic
• A backward analysis for constraint logic programs
• A backtracking algorithm for the stream AND-parallel execution of logic programs

Cited in

(9)

• A data-dependency-based intelligent backtracking scheme for PROLOG
• Intelligent backtracking in \(\text{CLP}(\Re)\)
• scientific article; zbMATH DE number 3967899 (Why is no real title available?)
• Intelligent Backtracking in Plan-Based Deduction
• Dynamic backward reasoning systems
• Forward checking and intelligent backtracking
• scientific article; zbMATH DE number 4009855 (Why is no real title available?)
• An improved data-dependency-based backtracking scheme for Prolog
• An execution model for exploiting AND-parallelism in logic programs

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