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

functional programmingtype theorydenotational semanticslogic programmingPrologdomain-specific languagesoperational semanticsDatalogadjoint logic

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

(5)

• The relational machine calculus
• A functional account of probabilistic programming with possible worlds. Declarative pearl
• Functional queries in datalog
• Checking functional consistency in deductive databases
• The Choice Construct in the Soufflé Language

Describes a project that uses

Uses Software

• Datalog
• Datafun
• Prolog

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)