The Soufflé permits facts to be sourced from tab-separated input files to separate Datalog programs from their data. In Datalog literature the tab-separated input files can be seen as the extensional database (EDB) of the program.
I assume that IDB refers to the intensional database that allows to derive facts from other facts.
Based on the license this is under (Oracle's UPL) I'd recommend passing over this project until it's relicensed to one of the big 5, like the GPL, or MIT.
3 comments
[ 0.21 ms ] story [ 18.5 ms ] threadThe Soufflé permits facts to be sourced from tab-separated input files to separate Datalog programs from their data. In Datalog literature the tab-separated input files can be seen as the extensional database (EDB) of the program.
I assume that IDB refers to the intensional database that allows to derive facts from other facts.