Logic continuations

From MaRDI portal

Publication:4727393

Jump to:navigation, search

DOI10.1016/0743-1066(87)90016-1zbMath0617.68003OpenAlexW2912235608MaRDI QIDQ4727393

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

control semantics logic programming Scheme Lisp dialect Logic variables

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (5)

A syntactic theory of sequential control ⋮ Obtaining lazy evaluation with continuations in SCHEME ⋮ Purely functional lazy nondeterministic programming ⋮ Agenda control for heterogeneous reasoners ⋮ On the semantics of classical disjunction

This page was built for publication: Logic continuations

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4727393&oldid=18977302"