Datafun: a functional Datalog

DOI10.1145/2951913.2951948MaRDI QIDQ2982016zbMATH OpenOpenAlexFDO

Authors Michael Arntzenius, Neelakantan R. Krishnaswami

Publication date 10 May 2017

Published in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL https://www.repository.cam.ac.uk/handle/1810/267161

zbMATH Keywords

adjoint logicDatalogdenotational semanticsdomain-specific languagesfunctional programminglogic programmingoperational semanticsPrologtype theory

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Functional queries in datalog
• Datalog and recursive query processing
• Datalog: A self-contained tutorial. II
• Datalog and logic databases
• Datalog extensions for database queries and updates

Cited in

(7)

• Functional queries in datalog
• Inference of monotonicity constraints in Datalog programs
• A functional account of probabilistic programming with possible worlds. Declarative pearl
• The Choice Construct in the Soufflé Language
• The relational machine calculus
• The free termination property of queries over time
• Checking functional consistency in deductive databases

Describes a project that uses

Uses Software

• Datafun
• Prolog
• Datalog

This page was built for publication: Datafun: a functional Datalog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2982016)