2026-07-23T16:56:28Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6752 2024-03-06T10:29:58Z ddc:004 open_access

The Functional Perspective on Advanced Logic Programming Vandenbroucke, Alexander Tabling Answer Subsumption Effect Handlers Functional Programming Logic Programming Probabilistic Programming The basics of logic programming, as embodied by Prolog, are generally well-known in the programming language community. However, more advanced techniques, such as tabling, answer subsumption and probabilistic logic programming fail to attract the attention of a larger audience. The cause for the community's seemingly limited interest lies with the presentation of these features: the literature frequently focuses on implementations and examples that do little to aid the understanding of non-experts in the field. The key point is that many of these advanced logic programming features can be characterised in more generally known, more accessible terms. In my research I try to reconcile these advanced concepts from logic programming (Tabling, Answer subsumption and probabilistic programming) with concepts from functional programming (effects, monads and applicative functors). Schloss Dagstuhl – Leibniz-Zentrum für Informatik Alexander Vandenbroucke 2016 Is Part Of OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.ICLP.2016.20 urn:nbn:de:0030-drops-67520 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.20 eng https://creativecommons.org/licenses/by/3.0/legalcode