So if I’m understanding logic programming right, it’s basically that I specify the conditions that need to be at some degree of truthiness, and it builds out from there? How does that relate to the actor model?

I don't see much of a relation between the two. Logic programming is basically a technique to define constraints that are fed to an engine that systematically searches through the space of potential solutions. It has no notion of concurrency, which is the core of Actor. You can implement a logic programming system on top of the Actor model (not sure that makes sense, but it's doable), but definitely not the other way round.

Yep. Logic languages don't, as a rule, have much a sense of time, Peter Alvaro's work aside https://people.ucsc.edu/~palvaro/.

@Konrad Hinsen Logic on top of an actor model is what I tried to do with my side project fizz.

"linkg.fizz Parse sentence using the builtin link-grammar parser" as in https://www.link.cs.cmu.edu/link/! I read that code when I was a young pup. At the time I was mighty impressed by the readability. C-code that does something interesting and is outright boring to read. 🤯

@wtaysom It's a good parser 👍