Read news on logic programming with our app.
Read more in the app
Can logic programming be liberated from predicates and backtracking? [pdf]