From Datalog to Datafun: Merging Logic and Functional Programming

This dissertation demonstrates how Datalog's powerful recursive query capabilities can be seamlessly integrated with functional programming through sophisticated type systems that track monotonicity. The work is significant because it shows how ideas from decades-old programming languages can be modernized and enhanced by combining them with contemporary paradigms. For language designers and developers, this opens new possibilities for creating more expressive and flexible languages that leverage the best of both logic and functional programming.