#Prolog

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

3 weeks ago

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

LISP Prolog and Evolution

1 month ago

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

@restlessdevllc.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

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

FOX STREET ENTERTAILNMEEENT

@fstte.bsky.social

1 month ago

#Anime #Previo #Draft
#Prolog #Crow

#H #A #R #R #R #V #I

•^• #CAAA
V

#R21+
#FSTTE

0 0 0 0

FOX STREET ENTERTAILNMEEENT

@fstte.bsky.social

1 month ago

#Anime #Prolog #Draft
In #Dev

0 0 0 0

Zachary 🦋

@zed.earth

1 month 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

1 month ago

github.com/cryptoque/pr...

#prolog #blogengine #opensource

1 0 0 0

The Medley Interlisp Project

1 month 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

@interlisp.org

1 month 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

1 month 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

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. ~

1 month ago

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

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...

1 month ago

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

2 0 0 0

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…

1 month ago

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

3 1 0 0

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

1 month 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

@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

2 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

2 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

2025 Advent of Code Day 12 Part 1 Prolog. Developed and tested with GNU Prolog 1.5.0. :- dynamic ( shape / 2 ). read_line_codes ( Stream , Codes ):- get_code ( Stream , C ), ( C == - 1 - Codes = end_of_file ; C == 10 - Codes = [] ; read_line_codes ( Stream , Cs ), Codes = [ C | Cs ] ). read_all_lines ( Stream , Lines ):-…

3 months ago

I've completed "Christmas Tree Farm" - Day 12 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/12

@Prolog code, most of which is fiddling with the inputs!

https://adamcrussell.livejournal.com/67457.html

2 0 0 0

2025 Advent of Code Day 11 Part 1 Prolog. Developed and tested with GNU Prolog 1.5.0. :- dynamic ([ connected / 2 , memoized_paths / 2 ]). check_and_read ( 10 , [] , _ ):- !. check_and_read ( Char , [ Char | Chars ], Stream ):- get_code ( Stream , NextChar ), check_and_read ( NextChar , Chars , Stream ). read_data ( Stream , []):-…

3 months ago

I just completed "Reactor" - Day 11 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/11

Both parts in #Prolog.

Part 1: https://adamcrussell.livejournal.com/67024.html

Part 2: https://adamcrussell.livejournal.com/66810.html

1 0 0 0

Day 10 - Advent of Code 2025

3 months ago

I just completed "Factory" - Day 10 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/10

Both parts in #Prolog. I make use of GNU Prolog's clp(fd) solver.

Part 1: https://adamcrussell.livejournal.com/66354.html

Part 2: https://adamcrussell.livejournal.com/66810.html

3 0 0 0

Original post on mastodon.sdf.org

3 months ago

I just completed "Movie Theater" - Day 9 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/9

Once again I found the second part to be easier in Perl. Probably there's a more elegant prological approach that'd be more amenable, but I just wasn't seeing it.

Part 1 […]

1 0 0 0

Original post on mastodon.sdf.org

3 months ago

I just completed "Playground" - Day 8 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/8

Both Parts in #Prolog. I usually use only GNU Prolog but had to also use SWI-Prolog to work around some issues.

Part 1: https://adamcrussell.livejournal.com/65392.html

Part 2 […]

3 0 0 0