Datalog to GDL
- There are a number of adapter projects in FRDCSA that translate between KRR languages. This is a theorized interface between Datalog and GDL, which should be possible because iirc GDL is implemented using a Datalog-like if not Datalog itself semantics. The idea is to help enable Prolog->GDL export as well, so that for instance, FLP could export world state to a GDL solver for use in adversarial reasoning. A bit tenuous in practice however.