Datafun: a functional Datalog

DOI10.1145/2951913.2951948zbMATH Open1360.68312OpenAlexW2517279098MaRDI QIDQ2982016FDOQ2982016

Neelakantan R. Krishnaswami, Michael Arntzenius

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

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

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)

Cited In (4)

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

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)