Can logic programming be liberated from predicates and backtracking? [pdf](www-ps.informatik.uni-kiel.de)180 points by matt_d 2 years ago | 63 comments
![Screenshot of www-ps.informatik.uni-kiel.de: Can logic programming be liberated from predicates and backtracking? [pdf]](https://hn.urlbox.com/shots/renders/2024/10/13/6ecb5d44-c206-4ac3-a828-13298d557087.jpg)