idp.md

date	tags
2020-06-23	todo language/programming

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.