InfoQ Homepage Logic Programming Content on InfoQ
Interviews
RSS Feed-
Peter Alvaro on Distributed Programming, CRDTs, LDFI
Peter Alvaro discusses some of the reasons that distributed programming is hard, Lineage-driven Fault Injection, static analysis to check deterministic behaviour, CRDTs, and much more.
-
William Byrd on Logic and Relational Programming, miniKanren
William Byrd explains the ideas behind logic programming languages (like Prolog) and relational programming. Also: miniKanren and core.logic, program synthesis, and much more.
-
David Nolen on Logic and Constraint Programming, Core.logic, Mozart/Oz
David Nolen explains the ideas behind logic and constraint programming, how they're used in his Clojure core.logic library, Prolog, the features in the Oz language and Mozart/Oz, and much more.