Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Tue 20 Sep 2016 11:50 - 12:15 at Noh Theater - Session 5 Chair(s): Robert Bruce Findler

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.