Functional Programming with an Incremental Datalog

Add to your list(s) Download to your calendar using vCal

• Sebastian Erdweg, Johannes Gutenberg University Mainz
• Monday 19 December 2022, 11:00-12:00
• FW26, Computer Laboratory.

If you have a question about this talk, please contact Jamie Vicary.

Datalog is a carefully restricted logic programming language. What makes Datalog attractive is its declarative and incremental fixpoint semantics: Datalog queries consist of simple Horn clauses, yet Datalog solvers efficiently compute all derivable tuples even for recursive queries. In particular, incremental Datalog solvers can update the computed results when inputs change, which enables real-time static program analysis. However, as we argue in this talk, Datalog is ill-suited as a programming language and Datalog programs are hard to write and maintain. We propose a “new” frontend for Datalog: functional programming with sets.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW26, Computer Laboratory
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.