Who here is working on a logic programming system? I feel if there are a few of us it could be nice to form a little subgroup to share questions and ideas that require a background in logic programming. Perhaps there are not many of us, though.

If we get enough buy-in, I'd be happy to spin up a subject-specific channel for that. (Now that we have the new

of-

naming scheme, I am more inclined to let us experiment with various subject-specific channels, since they are sort of clustered together in the channel list and thus easier to manage)

what is a logic programming system? Prolog like programming language?

Prolog is one example of a logic programming language, though there are many other (niche) examples that are very different. The main qualifier is that the semantics of a logic programming language is based directly on some variant or extension of first-order logic, as opposed to Von Neumann machines or lambda calculus.

@Emmanuel Oga It's fairly common, around here, to say "programming system" as a superset of "programming language", so as to include means of programming that aren't text-based or otherwise resembling traditional PLs.

oh I see

I have a side project that involves doing something like: https://alexwarth.github.io/projects/nl-datalog So I guess I’m in.

Yes, @Emmanuel Oga basically Prolog like, though, I'd say the most important logic programming characteristic is unification: you can have a variable with an indeterminate value, which gets pinned down as you use it. This allows for a bigger tent than includes databases, SAT solvers, and optimizers so-called Linear Programming, Quadratic Programming, Mixed Integer Programming (and what pays my bills at the end of the day). I guess quantum computing ends up in there too. Let's throw in some kinds of probabilistic programing while we're at it what with variables representing probability distributions.

if constraint solving counts, i’m in

I would definitely lurk in such a channel.

i would also lurk. i'm learning about datalog

I use quite a bit of logic programming for my stuff. Would be happy to lurk such a channel. @larry https://github.com/harc/nl-datalog

The responses in this thread sure seem plentiful enough. Subgroup, you might want to think about washing the champagne off your hull: #C01AFFQP8A3

Sorry late to the party! I have been working on such system for nearly 5 years now ... https://f1zz.org/ unfortunately the site, which is hosted for free, reached its bandwidth limit, again 😞

If it's a static site, allow me to endorse both Netlify and (especially) Surge.sh — both have incredible free offerings. (There's always Github Pages too, but... I don't like that as much. But that's a topic for another channel.)

Thanks Ivan. I may have to move away from StackLinux. They have been pretty cool over the past few years, but they are not very open to increasing the limit of that free server

@CocoaGeek Cool stuff. Looks like a vastly different design (and purpose) to my own (planned) work!