Search for a command to run...
Articles tagged with #prolog
На основе PicoLisp построен декларативный язык, обладающий семантикой Prolog, но использующий синтаксис Lisp. Факты и правила могут быть объявлены с помощью be функции. Как и в Прологе, разница между фактами и правилами заключается в том, что последн...
pool pool2 journal id blk seq lieu lock commit rollback mark free dbck tree genKey genStrKey useKey +relation +Any +Bag +Bool +Number +Date +Time +Symbol +String +Link +Joint +Blob +Hook +Hook2 +index +Key +Ref +Ref2 +Idx +Sn +Fold +IdxFold +Aux +UB ...
+Aux - префиксный класс, поддерживающий вспомогательные ключи для +relation, в дополнение к индексам +Ref или +Idx. Ожидает список вспомогательных атрибутов того же объекта и объединяет все ключи в этом порядке в один ключ индекса. (rel nr (+Ref +Num...
В отношении строк, как правило, говорят о конкатенации, но надо признать, что append - тоже конвенциональный термин, собственно, пришедший из Lisp и, кстати, использующийся и в Prolog, где эта операция может как присоединять, так и разделять списки. ...
Сегодня tiddlyhost.com на профилактике, на который я постоянно отсылаю за примерами и это нарушило установленный ритм публикации. Но я подумал, что сослаться можно по памяти на функции, которые я оформил там по принятой схеме заранее. А существо дела...
*Rule - глобальная переменная, содержащая текущий символ правила Pilog. Она очищается в начале нового REPL. rules - выводит все правила, определенные для аргументов sym. https://picolisp.tiddlyhost.com/#rules Интерпретаторы (не компьютерные программы...