Lazy List Comprehension in Logic Programming

DOI10.1093/LOGCOM/12.5.747zbMath1020.68021OpenAlexW2044629048MaRDI QIDQ4779586

Birgit Elbl

Publication date: 27 November 2002

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/50c71ea97809cfa0313deb4e225d0c3fda9d1a14

zbMATH Keywords

axiomatic semanticslazy list comprehension

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Lazy List Comprehension in Logic Programming