IDP

IDP is a programming language that implements FO(-) logic, and is used for various reasoning tasks.

It has a web-based IDE for learning.

TODO: Details.