*Rule ... rules

*Rule - глобальная переменная, содержащая текущий символ правила Pilog. Она очищается в начале нового REPL.
rules - выводит все правила, определенные для аргументов sym
.
https://picolisp.tiddlyhost.com/#rules
Интерпретаторы (не компьютерные программы), описывающие Prolog, активно используют концепции фактов и правил. В некоторых старых мануалах использовался термин “продукция“, который мне, например, нравится больше, так как лучше отражает суть, ближе как аналогия к интерпретации. Да и факт как термин больше символизирует описываемое событие или ситуацию, чем, собственно, само описанию как закодированное утверждение, выражение. А, в принципе, все это определения и ничего более того. И правила вывода одних определений из других и есть суть вычислительного процесса, который иногда называют доказательством, иногда оценкой (отголоски философской терминологии … от априори и апостериори) и так далее … Как хотелось бы, чтобы, наконец, разработчики проектов, не дожидаясь решений “официальных” комитетов стандартизации, активно сами искали терминологические конвенции для обобзначения используемых абстракций и пытались продумано использовать. Прецедент с “правилами” не самый плохой, хотя в русскоязычной лексике “фонит“ как что-то типа театральной роли, типа арта, “типа типа”. Опять же, все эти предикаты как функции, зачем-то проецирующие их в единицы или, вообще, “обнуляющие“ определения и сужающие первоначальный смысл термина “предикация“ как выражения или, опять же, того же определения - дефиниции, декларации или детерминации!
Subscribe to my newsletter
Read articles from Sergey Shishkin directly inside your inbox. Subscribe to the newsletter, and don't miss out.
Written by

Sergey Shishkin
Sergey Shishkin
Всегда чему-то учусь!