Can logic programming be liberated from predicates and backtracking? [pdf]

[matt_d]

Article URL: https://www-ps.informatik.uni-kiel.de/~mh/papers/WLP24.pdf

Comments URL: Can logic programming be liberated from predicates and backtracking? [pdf] | Hacker News

Points: 142

# Comments: 41

Continue reading...