Datafun: A Functional Datalog
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Arntzenius, M
Krishnaswami, Neel https://orcid.org/0000-0003-2838-5865
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.
Description
Keywords
prolog, datalog, logic programming, functional programming, domain-specific languages, type theory, denotational semantics, operational semantics, adjoint logic
Journal Title
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
Conference Name
ACM SIGPLAN International Conference on Functional Programming 2016
Journal ISSN
1523-2867
Volume Title
Publisher
Association for Computing Machinery
Publisher DOI
Sponsorship
Engineering and Physical Sciences Research Council (EP/N02706X/2)