Nova looks like the baby of Markdown and Prolog. You write documents that contains facts that then can be run to infer properties. Certainly novel!

Prolog is based on the logic programming paradigm, which is very different from the functional and imperative paradigms that we’ve explored earlier. Instead …

Horn clauses are a Turing-complete subset of predicate logic. Horn clauses are the logical foundation of Prolog.

see: https://www.metalevel.at/prolog/logic

A catalogue of constraints found in constraints programming tools.

It’s a language for writing IF that compiles to Z-machine and it’s inspired by Inform 7 (one of the best languages of all time)… and Prolog! This sounds awesome!

Here’s the intro.

I have been semi-offline for over a month and that’s gonna continue but I had scheduled to do a deep dive today and I’m glad I did because on Darren’s gemlog I found a link to this.

a book about prolog

prolog-like programming in racket programming systems.

A collection of artifacts from logic programming languages beginning with Marseille Prolog.

a low level concurrent logic programming language descended from Prolog.