Mastodawn

Secerișul acum s-a apropiat și sfârșit are chiar și viața noastră. lar, îngerii țin gata secerile, așteaptă doar porunca Să ne facem veghetori și să ne trezim ca niște nesomnoroși. Nu știm în care ceas Stăpânul va veni. Să ieșim de sub apăsarea celor pământești 👉 https://c.aparatorul.md/zi6lo 👈 #Apostoli #ÎmpărățiaCerurilor #Ceasulestealunsprezecelea #Dumnezeu #Prolog #prooroci #SfEfremSirul #Sfinţii #Treime
https://c.aparatorul.md/zi6lo

José A. Alonso 5d ago

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/