Jan 6 · 2 min read · Logic programming and automated reasoning systems heavily rely on a proof technique called Resolution. Unlike natural deduction, which can feel like guesswork, resolution is a refutation procedure -- it tries to prove a formula is unsatisfiable. The ...
Join discussionJan 6 · 2 min read · Prolog (Programming in Logic) is unique because it lacks standard keywords like for or while. Instead, we define a knowledge base of facts and rules and ask questions about them. Syntax Basics Constants: Start with lowercase letters (e.g., john, piz...
Join discussionJan 6 · 2 min read · How do we bridge the gap between abstract mathematical resolution and a programming language like Prolog? The answer lies in a specific subset of logic called Horn Clauses. What is a Horn Clause? A Horn clause is a disjunction of literals with at mos...
Join discussionJan 6 · 2 min read · In the world of automated theorem proving, raw logical formulas are often too messy for algorithms to handle directly. Before a computer can prove a theorem, we usually need to standardize the format. Today, we look at two critical transformation ste...
Join discussionJun 4, 2025 · 2 min read · На основе PicoLisp построен декларативный язык, обладающий семантикой Prolog, но использующий синтаксис Lisp. Факты и правила могут быть объявлены с помощью be функции. Как и в Прологе, разница между фактами и правилами заключается в том, что последн...
Join discussionMay 31, 2025 · 2 min read · 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 ...
Join discussionMay 1, 2025 · 1 min read · +Aux - префиксный класс, поддерживающий вспомогательные ключи для +relation, в дополнение к индексам +Ref или +Idx. Ожидает список вспомогательных атрибутов того же объекта и объединяет все ключи в этом порядке в один ключ индекса. (rel nr (+Ref +Num...
Join discussionApr 30, 2025 · 1 min read · В отношении строк, как правило, говорят о конкатенации, но надо признать, что append - тоже конвенциональный термин, собственно, пришедший из Lisp и, кстати, использующийся и в Prolog, где эта операция может как присоединять, так и разделять списки. ...
Join discussionFeb 21, 2025 · 2 min read · Сегодня tiddlyhost.com на профилактике, на который я постоянно отсылаю за примерами и это нарушило установленный ритм публикации. Но я подумал, что сослаться можно по памяти на функции, которые я оформил там по принятой схеме заранее. А существо дела...
Join discussionFeb 18, 2025 · 1 min read · *Rule - глобальная переменная, содержащая текущий символ правила Pilog. Она очищается в начале нового REPL. rules - выводит все правила, определенные для аргументов sym. https://picolisp.tiddlyhost.com/#rules Интерпретаторы (не компьютерные программы...
Join discussion
