Despite its simplicity compared with classical logic, this combination of Horn clauses and negation as failure has proved to be surprisingly expressive.
Navzdory své jednoduchosti (v porovnání s klasickou logikou) se kombinace Hornovských klauzulí a negace jako selhání prokázala být překvapivě expresivní.