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