Логические правила (" предложения ") состоят из заголовка и последовательности (возможно, пустой) подцелей . Предложения , в составе которых нет подцелей , называются " фактами ". предложение = атом [ ":-" конъюнкция ] "." конъюнкция = [ конъюнкция "," ] подцель . ... Ссылки: атом 6.1 , атрибут 4.1.1 , класс 4.1 , метапеременная 3 , объявление функции 6.1.3 , переменная 2.1.1 , подцель 6.2 , подцель предложения 6.2 , символ 2.1.2 , терм или выражение 3.2.1 , функция 6.1.3 . Следующий: 6.1. ...