Datafun: a Functional Datalog
ACM SIGPLAN Notices, 51 (9):
214--227 (Sep 4, 2016)DOI: 10.1145/3022670.2951948
Abstract
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.
