Datafun: a functional Datalog

DOI10.1145/2951913.2951948zbMATH Open1360.68312OpenAlexW2517279098MaRDI QIDQ2982016FDOQ2982016

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

(4)

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

Describes a project that uses

Uses Software

• Prolog
• Datafun
• 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)