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

Woo! https://github.com/danja/dogalog

^ Prolog musical live coding

#prolog #music

GitHub - danja/dogalog: livecoding prolog style

livecoding prolog style. Contribute to danja/dogalog development by creating an account on GitHub.

GitHub
🎶🐕 Presenting Dogalog: the perfect tool for those who think #Prolog and #livecoding are the Reese's Peanut Butter Cup of the coding world. Because who wouldn't want to use declarative logic to create #music and confuse the audience simultaneously? 🎵🤷‍♂️
https://github.com/danja/dogalog #Dogalog #DeclarativeLogic #HackerNews #ngated
GitHub - danja/dogalog: livecoding prolog style

livecoding prolog style. Contribute to danja/dogalog development by creating an account on GitHub.

GitHub
GitHub - danja/dogalog: livecoding prolog style

livecoding prolog style. Contribute to danja/dogalog development by creating an account on GitHub.

GitHub

https://gitlab.com/b2495/fleng

A compiler for the concurrent logic programming languages FGHC, Strand, KL1 and PCN.

#prolog #logicprogramming #concurrent

bunny351 / fleng · GitLab

A compiler for the concurrent logic programming languages FGHC, Strand, KL1 and PCN.

GitLab

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

Day 12 - Advent of Code 2025

@khinsen Thanks for your encouragement! Whereas I'd at first thought of Maslow's hierarchy as just a basic pattern to follow, I now think there may be a kind of 'isomorphism' here:

Physiologic Needs: any part of the analytic pipeline (from data to results) that isn't fully scripted à la #reproducibleresearch is effectively DEAD.

Safety Needs: scripts not under source control, unstructured analysis data sets (spreadsheets≈crime), and indeed all unnecessarily imperative pipeline elements (e.g., shell scripts instead of makefiles) create an UNSTABLE and UNSAFE environment for analytic work. (Where applicable, safeguarding sensitive data also belongs in this tier.)

Love & Belonging: code reviews, documentation [incl. tests, pace Dijkstra], preregistration, conference presentations, preprints, and peer review at all stages of the work; using and crediting community-contributed software.

Esteem: contributing reusable code, bug reports, bug fixes, etc. to a community of scientific software users; contributing thoroughly reproducible and criticizable analyses in peer review.

Self-Actualization: At this stage, the values achieved have to be one's own, I think. Examples might be achieving technical transcendence by doing the whole project in #CommonLisp, #Guix or (for me) ISO #Prolog 🧘, or formally proving correctness of algorithms. Another example would be that others extend & improve upon your work. Finally, #scicomm could be regarded as a true pinnacle.

Day 11 - Advent of Code 2025

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

Day 10 - Advent of Code 2025

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 to #Prolog, but I just wasn't seeing it.

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

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

Day 9 - Advent of Code 2025