1. Dymchenko, S., Mykhailova, M.: Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system (2014).
http://arxiv.org/abs/1412.2304
2. Knuth, D.E., Pardo, L.T.: The Early Development of Programming Languages. Stanford University, Computer Science Department (1976)
3. Warren, D.S.: Memoing for logic programs. Commun ACM 35(3) (1992)
4. Zhou, N.-F.: The language features and architecture of B-Prolog. Theory and Practice of Logic Programming 12(1–2) (2012)
5. Zhou, N.-F.: Combinatorial search with Picat (2014).
http://arxiv.org/abs/1405.2538