clause

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

clause/2 - предикат Pilog, который выполняется, если первый аргумент является предикатом, у которого второй аргумент определен как clause.

https://picolisp.tiddlyhost.com/#clause

Отратительный термин для русскоязычной сферы, поскольку фонит с термином “closure” (замыкание, обратный вызов …), что по сути та же дефиниция или детерминация и, опять же, та же декларация или предикация. И, как правило, в переводах мало комментируется. А термин многозначный и помимо “предложения“ в юридической терминологии, даже в той же информатике используется в разных контекстах - как составной компонент операторов и запросов в SQL и как пропозициональная формула - “литеральная дизъюнкция”. Короче, все эти "оптимизационные сопряжения” надо понимать, в общем, как дополнение, детализация, “придаток“ или даже та же “информационная полнота“, что, как правило, в конкретных прецедентах выливается в банальные выражения, при этом специфицированные, исключительно, авторской интуицией. Кстати, в немецкой транскрипции читается как “кляуза“.