BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Functional Programming with an Incremental Datalog - Sebastian Erd
 weg\, Johannes Gutenberg University Mainz
DTSTART:20221219T110000Z
DTEND:20221219T120000Z
UID:TALK194008@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION: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 so
 lvers efficiently compute all derivable tuples even for recursive queries.
  In particular\, incremental Datalog solvers can update the computed resul
 ts when inputs change\, which enables real-time static program analysis. H
 owever\, 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.
LOCATION:FW26\, Computer Laboratory
END:VEVENT
END:VCALENDAR