Logic continuations

DOI10.1016/0743-1066(87)90016-1MaRDI QIDQ4727393zbMATH OpenOpenAlexFDO

Authors Christopher T. Haynes

Publication date 1987

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

Full work available at URL https://doi.org/10.1016/0743-1066(87)90016-1

zbMATH Keywords

controlLisp dialectlogic programmingLogic variablesSchemesemantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 3972162
• scientific article; zbMATH DE number 3872649
• Delimited continuations for Prolog
• scientific article; zbMATH DE number 1543356
• Embedding continuations in procedural objects

Cited in

(8)

• A syntactic theory of sequential control
• Agenda control for heterogeneous reasoners
• Continuous logic. I: Basic concepts
• scientific article; zbMATH DE number 3972162 (Why is no real title available?)
• Purely functional lazy nondeterministic programming
• On the semantics of classical disjunction
• Lightweight functional logic meta-programming
• Obtaining lazy evaluation with continuations in SCHEME

This page was built for publication: Logic continuations

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