clause
Mar 3, 2025 · 1 min read · clause - декларирует факт или правило Pilog для аргумента sym, объединяя аргумент any со свойством T sym. clause/2 - предикат Pilog, который выполняется, если первый аргумент является предикатом, у которого второй аргумент определен как clause. https...
Join discussion