bool ...

bool - возвращает T
, когда аргумент any не равен NIL
. Эта функция нужна только тогда, когда T
строго требуется для условия «истина» (обычно любое значение, отличное от NIL
, считается «истиной»).
bool/3 - предикат Pilog, который выполняется успешно, если первый аргумент имеет то же значение истинности, что и результат применения алгоритма get к следующим аргументам. Обычно используется как предикат фильтра в запросах к базе данных select/3.
+Bool - класс для булевых отношений, подкласс +relation. Объекты этого класса ожидают либо T
, либо NIL
в качестве значения (хотя, как всегда, только не NIL
будет физически храниться в объектах).
https://picolisp.tiddlyhost.com/#bool
Булева алгебра адекватно описывает композицию “логических вентилей“ и является для них , своего рода, типа “машины Тьюринга“ для памяти. И это уже классика и, вроде как, теория или модель, имеющая “полную“ потенциальную интерпретацию как концепция. Но с точки зрения, ей описания или даже, точнее, представления, собственно, применения при описании “чего-либо аналогичного” с помощью неё, по-моему, вопрос ещё до сих пор открытый. Так что к самой теме придется еще раз вернуться. С PicoLisp это никак не связано и будет рассморено в рамках реализации интерпретатора системы на WASM. И не факт, что не смотря на фундаментальный характер концепции, она как-то будет реализована на уровне интерфейса “в таком же виде”.
P.S. А, вообще, это, безусловно, тема для всей теории вычислительного процесса. Кстати, в связи со стрелкой Пирса или штриха Шеффера, а именно аксиомой Вольфрама, имеет смысл сравнить интерфейс последнего с интерфейсом PicoLisp, по сути, реализацию “списочного” интерфейса для теории автоматов (клеточных автоматов). Ну и темой в этом же контексте является ассоциация с концепцией компарации (сравнения), то есть метрики, в принципе. Опять же, не говоря уже о том, что можно было бы от “булевой алгебры“ конструировать традиционные расширения в натуральный ряд, целые и вещественные числа … и так далее, надстаривая алгебры группами, кольцами, полями … и так далее, вместо классов … как альтернативу “неклассическим модными подходам“ типа теории типов или теории категорий, по сути заменяя философию методологией, проверенной временем и “ручными, неавтоматизированными алгоритмами“.
Ну и, наконец, пересмотреть концепцию предиката, интерпретируя логический предикат как банальную лингвистическую предикацию, вернув лексеме традиционное значения синонима высказыванию или выражению! Концепция “истины” - синтаксический сахар, часто нагружающий менталитет вместо комфорта. Истина - это скорее цель или просто исходные данные, которые требуется вычислить.
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
Всегда чему-то учусь!