Website

Appears to build off of Datalog.


Tags: language   logic  

Last modified 18 May 2025