Probabilistic Prolog Systems, by Luc De Raedt, Angelika Kimmig, Vitor Santos Costa (and many others)
Constraint Logic Programming in SWI-Prolog
By Markus Triska
SAT solver of Howe & King as a logic program
by Włodzimierz Drabent, Institute of Computer Science, Polish Academy of Sciences, and IDA, Linköpings universitet, Sweden.
Finite Domain Constraints in SICStus Prolog
By Mats Carlsson, SICS
BPSolver’s Solutions to the Third ASP Competition Problems
By Neng-Fa Zhou, Agostino Dovier, and Yuanlin Zhang
ICLP 2011: Accepted papers
Accepted papers of ICLP2011, 27th International Conference on Logic Programming, Lexington, KY, USA, July 6-10, 2011.