Read news on logic programming with our app.
Read more in the app
λProlog: Logic programming in higher-order logic
Dyna – Logic Programming for Machine Learning
Implementing Logic Programming
Can logic programming be liberated from predicates and backtracking? [pdf]
