scientific article; zbMATH DE number 3976298

zbMATH Open0604.68012MaRDI QIDQ3741017FDOQ3741017

Authors: Vipin Kumar, Yow-Jian Lin 

Publication date: 1986

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

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

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)

Cited In (9)

• An execution model for exploiting AND-parallelism in logic programs
• Forward checking and intelligent backtracking
• Dynamic backward reasoning systems
• A data-dependency-based intelligent backtracking scheme for PROLOG
• Intelligent Backtracking in Plan-Based Deduction
• Intelligent backtracking in \(\text{CLP}(\Re)\)
• An improved data-dependency-based backtracking scheme for Prolog
• Title not available (Why is that?)
• 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 Q3741017)