Mastodawn

Readings shared June 22, 2026. https://jaalonso.github.io/vestigium/posts/2026/06/22-readings_shared_06-22-26 #AI4Math #Agda #ChatGPT #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog

Readings shared June 21, 2026

The readings shared in Bluesky on 21 June 2026 are: A Lean 4 formalization of euclidean domain algorithms from a 1986 icon experimentation package. ~ Lars Warren Ericson. #LeanProver #ITP #Math A Lea

Vestigium

Ascira Art 🎨Jun 16

Als kleines Bonbon, bevor ich morgen auf Dienstreise abtauche: Auf Steady und Patreon habe ich gerade den #Prolog zu meinem #Schreibprojekt "Jägerherz & Hexenkuss" (basierend auf einem #pnp Solo) hochgeladen. Reinlesen ist kostenlos, den vollständigen Post gibt es bereits ab Level 1.

https://steady.page/de/ascira-art/posts/d932369b-864c-4bbd-909b-a02438b6197b?utm_campaign=steady_sharing_button

https://www.patreon.com/Ascira/posts/prolog-jagerherz-161248698?utm_medium=clipboard_copy&utm_source=copyLink&utm_campaign=postshare_creator&utm_content=join_link

#buchstodon #Buchbubble #DarkFantasy #pnpde #JägerherzUndHexenkuss

Prolog | Jägerherz & Hexenkuss

Erhasche einen ersten Blick in meinen Dark Fantasy Einzelband rund um Hexenjäger, finstere Kreaturen und zerbrechliche Hoffnung! 🐦‍⬛

Steady

José A. Alonso Jun 16

Writing Prolog with ChatGPT. ~ John D. Cook. https://www.johndcook.com/blog/2026/06/15/writing-prolog-with-chatgpt/ #Prolog #LogicProgramming #ChatGPT

Writing Prolog with ChatGPT

Solving a chess puzzle by having ChatGPT generate Prolog code to enumerate the solutions.

John D. Cook | Applied Mathematics Consulting

aparatorul Jun 14

Mare frică este, fraților, în ceasul morții, că sufletul se desparte de trup cu frică și cu dureri Fericit este acela care, din toate câte le-a făcut în viață, a aflat îndrăzneală în ceasul despărțirii, când se desparte sufletul de trupul său 👉 https://c.aparatorul.md/mznms 👈 #Arhangheli #ÎmpărățiaCerurilor #Îngeri #CeasulMorţii #EfremSirul #Hristos #Judecata #Prolog #Rai #suflet
https://c.aparatorul.md/mznms

José A. Alonso Jun 12

Solving a chess puzzle with Claude and Prolog. ~ John D. Cook. https://www.johndcook.com/blog/2026/06/11/prolog-claude/ #Prolog #LogicProgramming #LLMs

Solving a chess puzzle with Claude and Prolog

Solving a chess problem by Martin Gardner using Claude to generate Prolog code.

John D. Cook | Applied Mathematics Consulting

Tariq Jun 4

Have fun with Prolog!

... especially if you didn't enjoy it at university.

book - https://www.amazon.com/dp/B0BTQ7P69H/

youtube - https://www.youtube.com/@prologbyexample/videos

blog - https://prologbyexample.blogspot.com

#prolog #gofAI

jnpn Jun 1

PIPs: like python PEPs but for prolog

https://prolog-lang.org/ImprovementsForum/PIPs.html

#prolog #community #enhancement

The Prolog Improvements Forum

Zdroják May 27

Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.

https://zdrojak.cz/clanky/prolog-nezmizel-jen-dnes-zije-v-jinych-nastrojich/

Nintendo Connect May 8

Video: Star Fox – Prolog

Erlebt den schicksalhaften Kampf, der sich einige Jahre vor den Ereignissen von Star Fox ereignete und an dem Fox’s Vater, James McCloud, beteiligt war...

https://nintendo-connect.de/heimkonsole/nintendo-switch-2/video-star-fox-prolog-248001/

Dwight Spencer May 22

New blog post: Rules, Types, and Glue: A Multi-Paradigm Architecture for Game Simulation 🎮🧱

A deep dive into combining classical AI and strict type systems for high-performance simulation engines. I evaluate:
🧠 Prolog for symbolic reasoning (Rules)
🧱 Coalton for static type-safety (Types)
🔄 Common Lisp as the high-speed runtime (Glue)

Includes SBCL vs. ECL performance benchmarks.

Read it here: https://dwightaspencer.com/posts/03-rules-types-and-glue/

#CommonLisp #Prolog #StandardML #FunctionalProgramming #GameDev #Simulation

Rules, Types, and Glue: A Multi-Paradigm Architecture for Game Simulation

A technical evaluation of Prolog, ML-style types (Coalton DSL), and Common Lisp as a layered architecture for game simulation engines. Benchmarks across SBCL and ECL, portability findings, and architectural conclusions about where each paradigm earns its place.

Dwight Spencer - 0x5DCBF78E3F9C3FE3