https://aphyr.com/posts/354-unifying-the-technical-interview
hehe
#Prolog
🌗 實作邏輯程式設計
➤ 探索一種被低估的程式設計範式
✤ https://btmc.substack.com/p/implementing-logic-programming
本文探討了邏輯程式設計相對於程序式、物件導向和函數式程式設計的獨特性和優勢。作者指出，雖然許多程式設計師熟悉前三種範式，但對邏輯程式設計的認識卻相對較少。邏輯程式設計擅長於處理複雜關係的建模，其核心概念是關係而非函數，並以 Prolog 語言為例展示了事實、規則和查詢的應用。文章強調了邏輯程式設計相對於關聯式資料庫 (SQL) 的潛在優勢，並探討了實作邏輯程式設計時可能遇到的問題，以及為何不建議直接實作 Prolog 的理由。
+ 這篇文章讓我對邏輯程式設計產生了興趣，之前完全沒有接觸過這個領域。
+ 作者對於 Prolog 的批判性觀點很有意思，讓我開始思考是否還有其他更優雅的邏輯程式設計實現方式。
#程式設計 #邏輯程式設計 #Prolog
@MovieDivaJacki @sweetmercury @Taweret @dboisvert @DMX @infernusgoatus
And Prolog.
Maybe sometime, I'll switch to doing this in Mercury, just to feel something. It's a prolog-inspired logic programming language with, like, types and stuff? And it compiles ahead-of-time?
plwm: An X11 window manager written in Prolog
｢ plwm is a highly customizable X11 dynamic tiling window manager written in Prolog.
Main goals of the project are: high code & documentation quality; powerful yet easy customization; covering most common needs of tiling WM users; and to stay small, easy to use and hack on ｣
Curso "Lógica informática (2012-13)". https://jaalonso.github.io/cursos/li-12 #Lógica #ProgramaciónLógica #Prolog
Teaching and learning mathematics with Prolog. ~ Tom Bensky (2021). https://arxiv.org/abs/2108.09893 #Prolog #LogicProgramming #Math
Exploring topological spaces with Prolog: A practical approach using "Mathematics with Prolog". ~ Kenichi Sasagawa. https://medium.com/@kenichisasagawa/exploring-topological-spaces-with-prolog-a-practical-approach-using-mathematics-with-prolog-b5806bb8b98f #Prolog #LogicProgramming #Math
[New Blog Post] Unification Modulo E-Graphs #logic #prolog https://www.philipzucker.com/unify_mod_egraphs/
NexSiS: moteur de mobilisations des secours (securite cibile)
https://ci.mines-stetienne.fr/pfia2022/conferences/apia/Articles/APIA2022_paper_8651.pdf
Навайбкодил на $25: https://codeberg.org/KirillZh/erp-chat
Хотел потрогать этот ваш #vibecoding с позиции тех. менеджера.
Впечатлился, затянуло. Было похоже на совещание с fullstack-разрабом, который все идеи тут же реализовывал в коде и демонстрировал результат 😱 🤯 🤩
Местами — хардкод “на отвали”, как ленивый мидл. Но через год-два это будет очень сносно, и после ревью синьора — достойно прода!
Выглядит это как chatGPT, но в терминале, а результат тут же отражается в коде. Cloude сама запускает свой код и исправляет ошибки, тебе лишь иногда надо давать разрешения на запуск чего-то в консоли. Еще тесты пишет и коммитит. Быстро сжирает деньги, если кодовая база пухнет, а изменения твои глобальны.
По сабжу — erp-chat: была технократическая менеджерская фантазия, что таск-менеджмент можно семантически связать со стратегическим управлением. Типа меняется стратегия — меняется и ежедневный стек задач понятным образом. #Prolog тут как раз должен отвечать на вопросы “почему?”, а логику происходящего можно подсмотреть и подправить в pl-файлах.
Вместо интерфейса использовал чат-бот без LLM, но с #deepavlov для распознавания именованных сущностей (NER) и намерений пользователя (intent).
Что-то даже заработало! Код оценить не могу — с Прологом познакомился позавчера. Но нейронка всё время пыталась избавиться от Пролога в пользу хардкода на питоне, объясняя это медленностью первого 🤨 Приходилось объяснять, что питон-чат — это всего лишь интерфейс к заполнению базы знаний на Прологе.
P.S. Еще недавно взял за правило начинать любой проект с #Makefile, который и окружение подготовит, и проект соберёт, и запустит. Никаких больше мучительных вспоминаний, как мой код запустить.
P.P.S. Короче, рекомендую Cloude Code и Makefile, а также нейронки попроще, если они решают задачу — типа FastText и DeepPavlov: меньше землю разогреете.
Faust - Der Tragödie erster Teil – Prolog im Himmel
#stefannoir #dichterunddenker #tondichter #stenormedia #goethe #faust #prolog
You might say, with great fanfare and bluster, that generative AI is the very pinnacle of software creation! And the VCs doth sing mightily in thy praise!
Good sirrah, hold thy tongue. Have a care not to expose your ignorance!
Why? Pray tell, you beg of be.
Then let it be known, and hail it from the mountains! In this world, at this very time, there exists a software wonder one might scarcely dare to imagine!
🌕 plwm - 以 Prolog 撰寫的 X11 視窗管理器
➤ 一款以邏輯程式設計為基礎的動態平鋪視窗管理器
✤ https://github.com/Seeker04/plwm
plwm 是一個高度可定製的 X11 動態平鋪視窗管理器，使用 Prolog 語言編寫。它強調程式碼品質、易於定製、覆蓋常見的平鋪視窗管理器需求，並保持輕量和易於使用。plwm 具有動態佈局、浮動視窗支援、外部狀態列整合、多螢幕支援、規則、掛鉤和動畫等功能。它易於安裝和配置，並提供豐富的文件和鍵盤快捷鍵。
+ 我一直想嘗試用 Prolog 開發一些東西，這款視窗管理器看起來是個很好的起點！
+ 終於找到一款可以完全按照我想法配置的視窗管理器了，期待能深入研究它的配置方式。
#軟體 #視窗管理器 #Prolog #開源專案
Ah, finally! A window manager written in Prolog—because that's exactly what the world needed. 🙄 Let's use a logic programming language for something best done in C, because who doesn't love a good challenge? 🚀
https://github.com/Seeker04/plwm #windowmanager #Prolog #programmingchallenge #logicprogramming #HackerNews #Cprogramming #HackerNews #ngated
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst