1. Lecture Notes in Artificial Intelligence;T. Kötter,2012
2. Lecture Notes in Bioinformatics;P. Sevon,2006
3. De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In: Veloso, M.M. (ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 2462–2467 (2007)
4. Kimmig, A., Van den Broeck, G., De Raedt, L.: An algebraic Prolog for reasoning about possible worlds. In: Burgard, W., Roth, D. (eds.) Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI 2011), pp. 209–214. AAAI Press (2011)
5. Flach, P.: Simply logical - Intelligent Reasoning by Example. John Wiley (1994),
http://www.cs.bris.ac.uk/~flach/SimplyLogical.html