#Prolog

@jalonso.eurosky.social

3 days ago

Readings shared April 4, 2026 The readings shared in Bluesky on 4 April 2026 are: Why Lean?. ~ Leonardo de Moura. #LeanProver #ITP A formalization of the Gelfond-Schneider theorem. ~ Michail Karatarakis, Freek Wiedijk. #LeanProve

Readings shared April 4, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #ATP #Agda #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Programming #Prolog #Racket #RocqProver

2 0 0 0

José A. Alonso

@jalonso.eurosky.social

3 days ago

Representing Graphs in Prolog YouTube video by The Power of Prolog

Representing graphs in Prolog. ~ Markus Triska. youtu.be/5fAWYqM9v8k #Prolog #LogicProgramming

11 3 0 0

aparatorul

@aparatorul.mastodon.social.ap.brid.gy

1 week ago

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 […]

[Original post on mastodon.social]

0 0 0 0

aparatorul

@aparatorul.mastodon.social.ap.brid.gy

2 weeks ago

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 […]

[Original post on mastodon.social]

0 0 0 0

Barret Blake

@barretblake.dev

3 weeks ago

blog post hero image

From the .NET blog...

RT.Assistant: A Multi-Agent Voice Bot Using .NET and OpenAI
devblogs.microsoft.com/dotnet/rt-assistant-a-re... #dotnet #NETMAUI #AI #DeveloperStories #fsharp #multiagent #openai #Prolog #voice #WebRTC

1 0 0 0

David Weir

@davidjamesweir.mementomori.social.ap.brid.gy

3 weeks ago

Cover of the book Prolog Versus You: An Introduction to Logic Progamming.

I think this is the most (unnecessarily) confrontational programming book I’ve ever seen.

#prolog #coding

0 1 0 0

KlausStudio

@klausstudio.bsky.social

3 weeks ago

Die Pantalea Saga - Teil 1: Die zwei Welten - Hörbuch Prolog YouTube video by Bene_Sprecher

Einen schönen Start ins Wochenende euch allen!
Gestern ist ein spannendes #Fantasy #Hörbuch erschienen, was im Erzählstil sehr an Tolkien erinnert. Hier gibt es einmal den #Prolog als #Hörprobe:
youtu.be/zMp__ggkNXw

Hier der Linktree zu den bekannten Shops:
www.feiyr.com/x/DiePantale...

0 0 0 0

aparatorul

@aparatorul.mastodon.social.ap.brid.gy

1 month ago

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 👉 […]

[Original post on mastodon.social]

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

1 month ago

Readings shared February 14, 2026 The readings shared in Bluesky on 14 February 2026 are: Formalization of the Golay-Hopf machine: A unified algebraic framework for Hida, Iwasawa, and Yang-Baxter structures. ~ Yoshihiro Hasegawa. #IT

Readings shared February 14, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #Clojure #CoqProver #FunctionalProgramming #Haskell #ITP #LeanProver #Lisp #Logic #Math #Minlog #Prolog #RustLang

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

1 month ago

LISP Prolog and Evolution

LISP, Prolog and evolution. ~ Sami Badawi. blog.samibadawi.com/2013/05/lisp... #FunctionalProgramming #Lisp #Prolog #Haskell #Clojure

2 1 0 0

aparatorul

@aparatorul.mastodon.social.ap.brid.gy

1 month ago

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 […]

[Original post on mastodon.social]

0 0 0 0

Dirk Roeckmann

@5troop.bsky.social

1 month ago

Languages like #prolog #ocaml #lisp which are much better suited for #AI will potentially have a huge revival with the advent of #tensorlogic and #textdiffusion models
2/2

1 0 0 0

RestlessDev

@restlessdevllc.bsky.social

1 month ago

Programming Joke of the Day: Feb 10, 2026
Check out our app: https://restlesside.com 🚀 #programming #programminghumor #programmingjokes #prolog

0 0 0 0

Zachary 🦋

@zed.earth

2 months ago

Implementing a (vibed) LLM Coding Agent in Prolog This is another post on DeepClause, my current side project.

deepclause.substack.com/p/implementi...

#prolog #llm #ExplainableAI

2 0 1 0

jbz

@jbzfn.bsky.social

2 months ago

github.com/cryptoque/pr...

#prolog #blogengine #opensource

1 0 0 0

Dirk Roeckmann

@5troop.bsky.social

2 months ago

In 1992 Japan the The 5th Generation Computer Systems (FGCS) relying on #Prolog & specialized hardware failed due to the PC wave and led to an #AI winter. Could #tensorlogic lead to a new push for (deep learnable) declarative logic programming on GPU and help explainability? Me thinks YES!🚨🔥

0 0 0 0

The Medley Interlisp Project

@interlisp.org

2 months ago

In 1985 Xerox announced support for Prolog on its workstations and awarded development to Quintus for Xerox Quintus Prolog for Interlisp-D.

www.bitsavers.org/pdf/xerox/in...

softwarepreservation.computerhistory.org/prolog/#Quin...

#ai #prolog #interlisp #retrocomputing

0 0 0 0

Dirk Roeckmann

@5troop.bsky.social

2 months ago

Consequently, agentic coding underperforms in languages like #Haskell and #Prolog for architectural reasons and not only because of comparably sparse training data. With the advent of #tensorlogic where predicative logic runs on learnable tensors that could be a serious problem. #AI
2/2

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

2 months ago

Readings shared January 19, 2026 The readings shared in Bluesky on 19 January 2026 are: Broken proofs and broken provers. ~ Lawrence Paulson. #ITP #IsabelleHOL #RocqProver #LeanProver A formalization of Borel determinacy in Lean. ~

Readings shared January 19, 2026. jaalonso.github.io/vestigium/po... #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

1 0 0 0

José A. Alonso

@jalonso.eurosky.social

2 months ago

Logic Programming with Extensible Types Logic programming languages present clear advantages in terms of declarativeness and conciseness. However, the ideas of logic programming have been met with resistance in other programming communities...

Logic programming with extensible types. ~ Ivan Perez, Angel Herranz. arxiv.org/abs/2601.038... #Haskell #FunctionalProgramming #Prolog #LogicProgramming

2 0 0 0

José A. Alonso

@jalonso.eurosky.social

2 months ago

Playing with Gödel’s Incompleteness Theorem in Prolog During a holiday, I suddenly felt like revisiting Chaitin-style Lisp code related to Gödel’s incompleteness theorem, this time rewriting it…

Playing with Gödel’s incompleteness theorem in Prolog. ~ Kenichi Sasagawa. medium.com/@kenichisasa... #Prolog #LogicProgramming #Logic

3 1 0 0

Dirk Roeckmann

@5troop.bsky.social

2 months ago

#TensorLogic also means that #declarativeprogramming and #functionalprogramming might have a huge boost from this. Anybody motivated to write a lightning fast and hyper-scalable #Prolog on #CUDA and some torch lib? 👍
#Lisp #Coalton #OCaml
2/2

0 0 0 0

Ted B. Falken, tu Asesor Extraño Clifford/🍩⇔☕️/🔻

@naikodemus.bsky.social

2 months ago

#COBOL (*suspiro*), #Prolog (*ains*), #Simula67 (oh!), #Modula2 (ah!), #SML (+ #MoscowML y #PolyML), #APL (jijiji), #BASIC modernizao, #LISP, #C, #JULIA, ¡¡y #FORTRAN!!

0 0 0 0

Linotype Pilgrim

@symbo1ics.bsky.social

2 months ago

Pencil sketch of a map of rectangular regions, labelled A–F. The regions are related as follows (adjacency works both ways, so redundant declarations are skipped): A is adjacent to B, C, D, E. B is adjacent to C, D, F. C is adjacent to D. D is adjacent to E, F. E is adjacent to F.

Coding exercise
———————–
Given this map (you choose an input representation), assign colours to regions A–F so that no adjacent regions have the same colour.

Choose your favourite prog language. #logicprogramming #computerscience #gofai

Based on Triska's lovely #Prolog video youtu.be/6XD7vBbywMc

2 0 4 2

@undercertainty.bsky.social

2 months ago

Advent of Code 2025

Finally finished all 12 days of Advent of Code 2025 in prolog. (Day 9 took a few attempts...)

#AdventOfCode #Prolog
adventofcode.com
github.com/undercertain...

1 0 0 0

Linotype Pilgrim

@symbo1ics.bsky.social

3 months ago

Prolog solving the Farmer's Puzzle of how to get a goat, fox, and beans across a river, without the goat eating the beans (if left alone), or the fox eating the goat (if left alone together). This is in the Vince McMahon framework where the top panel has Vince looking interested after the goat is moved. Second panel has Vince actively fascinated, after the goat is swapped for the fox. Vince is throwing his head back in admiration for the next move, which leaves the beans and fox innocently sharing the right bank of the river. The farmer returns for the goat, reuniting everyone, and Vince is fully activated with red laser eyes.

#prolog #gofai

2 0 0 0

Ehud

@duhe.bsky.social

3 months ago

I'm amused when people think I am "anti-AI", when they don't even know the difference between a green cut and a red cut.

Yes, I know this is a very niche joke. #Prolog

1 0 0 0