PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION

DOI10.1142/S0129054101000436zbMath1319.68053WikidataQ114614889 ScholiaQ114614889MaRDI QIDQ5249252

Ralf Hinze

Publication date: 30 April 2015

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

Haskell; monads; Prolog; axiomatic semantics; continuations; monad transformers

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68N17: Logic programming

Uses Software

• Haskell