Back to ComputerTerms

A gournd clause is a datalog horn clause without a body. We sometimes call this a "fact".

Back to ComputerTerms