Datafun: a functional Datalog

Michael Arntzenius, Neelakantan R. Krishnaswami
2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016  
Datalog may be considered either an unusually powerful query language or a carefully limited logic programming language. Datalog is declarative, expressive, and optimizable, and has been applied successfully in a wide variety of problem domains. However, most use-cases require extending Datalog in an application-specific manner. In this paper we define Datafun, an analogue of Datalog supporting higher-order functional programming. The key idea is to track monotonicity with types.
doi:10.1145/2951913.2951948 dblp:conf/icfp/ArntzeniusK16 fatcat:glrcmhbfkbdjxhnczbugecoboy