scientific article; zbMATH DE number 7453116

MaRDI QIDQ5020559

Jan Wielemaker, Tom Schrijvers, Paul Tarau

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1907.11354

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-class logic engineslazy listsAND-stream/OR-stream interoperationlazy stream generatorsprolog extensionsstream combinators

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}

Uses Software

• Haskell
• Python
• SWI-Prolog
• GitHub
• LARS

Cites Work

• Unnamed Item
• Notions of computation and monads
• LARS: a logic-based framework for analytic reasoning over streams
• \textsc{Tor}: modular search with hookable disjunction
• Evaluation strategies for functional logic programming
• SWI-Prolog
• The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
• A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
• Logic Programming
• Delimited continuations for prolog
• Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings)

This page was built for publication: