1. Apt, K.R., van Emden, M.H.: Contributions to the theory of logic programming. Journal of the Association for Computing Machinery (JACM) 29(3), 841–862 (1982)
2. Arcelli, F., Formato, F.: Likelog: a logic programming language for flexible data retrieval. In: Proceedings of the ACM Symposium on Applied computing (SAC 1999), pp. 260–267. ACM Press, New York (1999)
3. Arenas, P., Fernández, A.J., Gil, A., López-Fraguas, F.J., Rodríguez-Artalejo, M., Sáenz-Pérez, F.:
$\mathcal{TOY}$
, a multiparadigm declarative language. version 2.3.1, R. Caballero and J. Sánchez (Eds.) (2007),
http://toy.sourceforge.net
4. Clark, K.L.: Predicate logic as a computational formalism (res. report doc 79/59). Technical report, Imperial College, Dept. of Computing, London (1979)
5. Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic programs. Journal of Logic Programming 43(3), 187–250 (2000)