Почему в Прологе используются именно хорновские дизъюнкты (дизъюнкты, содержащие не больше одного положительного предиката)? Почему не может быть больше одного положительного предиката?  

Как говорят учебники, логический вывод в Прологе основан на методе резолюций.
Метод резолюций -- это обобщение метода доказательства "от противного": для доказательства выводимости формулы из набора аксиом, к набору аксиом добавляется отрицание исследуемой формулы, и пытаемся вывести противоречие.
Вообще, метод резолюций приводит к комбинаторному взрыву, однако существуют некоторые оптимальные стратегии для данного метода.
Одна из оптимальных стратегий -- линейная резолюция -- основана как раз на хорновских дизъюнктах, и нашла применение в Прологе.