datafun is a programming language created in 2015 by Michael Arntzenius.

It's a simple, pure, and total functional language that generalizes Datalog. Datafun's superpower is that it can concisely and declaratively express and compute fixed points of monotone maps on semilattices.

• datafun website
• datafun is developed on GitHub and has 330 stars
• datafun first developed in University of Birmingham
• Read more about datafun on the web: 1.
• HTML of this page generated by LanguagePage.ts