Instead of lamenting that free logic doesn’t get some attention in the Datalog community. Here is a little prototype of DatalogF3. What does F and 3 mean?
- F: partial expressions aka free logic
- 3: three valued logic
ANN: DatalogF3 Toy Engine. (Jekejeke)
https://twitter.com/janburse/status/1364925439987310592