Name Last modified Size Description
Parent Directory 11-Dec-2013 20:58 -
BinaryDatalog 11-Dec-2013 20:58 -
Datalog 09-Feb-2018 20:15 -
Dishornlog 09-Feb-2018 20:15 -
FOL+ 11-Dec-2013 20:58 -
Folog 09-Feb-2018 20:15 -
Hornlog 09-Feb-2018 20:15 -
Hornlogeq 09-Feb-2018 20:15 -
Nafhornlog 09-Feb-2018 20:15 -
NegationDatalog 11-Dec-2013 20:58 -