clause

clause - декларирует факт или правило Pilog для аргумента sym, объединяя аргумент any со свойством T sym. clause/2 - предикат Pilog, который выполняется, если первый аргумент является предикатом, у которого второй аргумент определен как clause. https...