Horn clause

Хорновская формула, формула Хорна, хорновское выражение, хорновское предложение