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, по сути, реализацию “списочного” интерфейса для теории автоматов (клеточных автоматов). Ну и темой в этом же контексте является ассоциация с концепцией компарации (сравнения), то есть метрики, в принципе. Опять же, не говоря уже о том, что можно было бы от “булевой алгебры“ конструировать традиционные расширения в натуральный ряд, целые и вещественные числа … и так далее, надстаривая алгебры группами, кольцами, полями … и так далее, вместо классов … как альтернативу “неклассическим модными подходам“ типа теории типов или теории категорий, по сути заменяя философию методологией, проверенной временем и “ручными, неавтоматизированными алгоритмами“.

Ну и, наконец, пересмотреть концепцию предиката, интерпретируя логический предикат как банальную лингвистическую предикацию, вернув лексеме традиционное значения синонима высказыванию или выражению! Концепция “истины” - синтаксический сахар, часто нагружающий менталитет вместо комфорта. Истина - это скорее цель или просто исходные данные, которые требуется вычислить.