![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Sebastian Erdweg, Johannes Gutenberg University Mainz
Monday 19 December 2022, 11:00-12:00
Functional Programming with an Incremental Datalog
- 👤 Speaker: Sebastian Erdweg, Johannes Gutenberg University Mainz
- 📅 Date & Time: Monday 19 December 2022, 11:00 - 12:00
- 📍 Venue: FW26, Computer Laboratory
Abstract
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.
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- 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)
- Martin's interesting talks
- School of Technology
- tcw57’s list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.