1. Arntzenius, M., Krishnaswami, N.R.: Datafun: a functional datalog. In: Garrigue, J., Keller, G., Sumii, E. (eds.) Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, 18–22 September 2016, pp. 214–227. ACM (2016). https://doi.org/10.1145/2951913.2951948
2. Belle, V., Raedt, L.D.: Semiring programming: a framework for search, inference and learning. CoRR abs/1609.06954 (2016). http://arxiv.org/abs/1609.06954
3. Birkhoff, G., Mac Lane, S.: A Survey of Modern Algebra. Taylor & Francis (1997)
4. Van den Broeck, G., Kersting, K., Natarajan, S., Poole, D.: An Introduction to Lifted Probabilistic Inference. MIT Press, Cambridge (2021)
5. Byrd, W.E.: Relational programming in miniKanren: techniques, applications, and implementations. Ph.D. thesis, Indiana University (2009)