Horn clause

Betekenis Horn clause

De betekenis van Horn clause is: "disjuncte formule met hoogstens een niet-genegeerde literal
".

Defenitie Horn clause

De definitie van Horn clause is: "disjuncte formule met hoogstens een niet-genegeerde literal
".