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