Automating control for logic programs

DOI10.1016/0743-1066(85)90017-2MaRDI QIDQ3694654zbMATH OpenOpenAlexFDO

Authors Lee Naish

Publication date 1985

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(85)90017-2

zbMATH Keywords

control primitivescoroutined execution of PROLOG programspreprocessor for logic programsrecursive procedures

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Compiling control
• Control generation by program transformation
• Metalogical control for logic programs
• Negation and control in PROLOG
• Modelling Prolog Control

Cited in

(20)

• Control and data driven execution of logic programs: A comparison
• A backtracking algorithm for the stream AND-parallel execution of logic programs
• On the transformation of logic programs with instantiation based computation rules
• Recursive query processing: The power of logic
• Most specific logic programs
• Situated simplification
• Metalogical control for logic programs
• scientific article; zbMATH DE number 3956407 (Why is no real title available?)
• scientific article; zbMATH DE number 3980533 (Why is no real title available?)
• Compiling control
• scientific article; zbMATH DE number 1216124 (Why is no real title available?)
• Modelling Prolog Control
• scientific article; zbMATH DE number 1531362 (Why is no real title available?)
• scientific article; zbMATH DE number 220133 (Why is no real title available?)
• Control generation by program transformation
• Declarative error diagnosis
• On the existence of nonterminating queries for a restricted class of PROLOG-clauses
• Execution of logic programs by iterative-deepening A\(^*\) SLD-tree search
• Machine structure oriented control code logic
• Automation methods for logical derivation and their application in the control of dynamic and intelligent systems

This page was built for publication: Automating control for logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3694654)