*Rule ... rules
Всегда чему-то учусь!
*Rule - глобальная переменная, содержащая текущий символ правила Pilog. Она очищается в начале нового REPL.
rules - выводит все правила, определенные для аргументов sym.
https://picolisp.tiddlyhost.com/#rules
Интерпретаторы (не компьютерные программы), описывающие Prolog, активно используют концепции фактов и правил. В некоторых старых мануалах использовался термин “продукция“, который мне, например, нравится больше, так как лучше отражает суть, ближе как аналогия к интерпретации. Да и факт как термин больше символизирует описываемое событие или ситуацию, чем, собственно, само описанию как закодированное утверждение, выражение. А, в принципе, все это определения и ничего более того. И правила вывода одних определений из других и есть суть вычислительного процесса, который иногда называют доказательством, иногда оценкой (отголоски философской терминологии … от априори и апостериори) и так далее … Как хотелось бы, чтобы, наконец, разработчики проектов, не дожидаясь решений “официальных” комитетов стандартизации, активно сами искали терминологические конвенции для обобзначения используемых абстракций и пытались продумано использовать. Прецедент с “правилами” не самый плохой, хотя в русскоязычной лексике “фонит“ как что-то типа театральной роли, типа арта, “типа типа”. Опять же, все эти предикаты как функции, зачем-то проецирующие их в единицы или, вообще, “обнуляющие“ определения и сужающие первоначальный смысл термина “предикация“ как выражения или, опять же, того же определения - дефиниции, декларации или детерминации!