Раздел описания предикатов внутренней базы данных

Database - раздел описания предикатов внутренней базы данных.Если раздел описания предикатов базы данных в программе только один, то он может не иметь имени.Описание предикатов базы данных совпадает с их описанием в разделе описания предикатов predicates.Эти факты могут использовать только предикаты, описанные в разделе описания предикатов базы данных.Для удаления фактов из базы данных служат предикат retract.С зарезервированного слова goal начинается раздел описания внутренней цели программы.Goal - раздел описания внутренней цели.Раздел описания внутренней цели.Predicates - раздел описания предикатов.Домены аргументов должны быть либо стандартными, либо объявленными в разделе описания доменов.