The Functional Perspective on Advanced Logic Programming

Alexander Vandenbroucke, Marc Herbstritt
2016 International Conference on Logic 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
more » ... ts 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).
doi:10.4230/oasics.iclp.2016.20 dblp:conf/iclp/Vandenbroucke16 fatcat:ljbcyks7tne63kbjlbgvyf37va