image/svg+xml image/svg+xml datalog folog hornlog dishornlog hornlogeq nafhornlog Equallhsrhs@oriented@val equality Nafweak naf Negstrong neg slot@card@weight slot argIndDataVarSkolemReify@index@type term ImpliesbodyheadEntailsEquivalenttorsoRulebaseAndOrformula@material@mapMaterial@mapDirection@direction@mapClosure@closure oid desc AtomdegreeopRel atom @uri uri ForallExistsdeclareformula quantifier reporesl rest RuleMLAssertRetractQueryformula performative Expr ExpropFunPlex@in connective bindatalog bindatagroundlog bindatagroundfact Binary negdatalog nafdatalog nafnegdatalog NegationDatalog hohornlog hohornlogeq framehohornlogeq SWSL fologeq naffologeq FOL+ naffolog HtermAtomslot@minCard@maxCardopCon SetInstanceOfSubclassOfSignatureGetSlotProd frame holog