zlacker

Man, lately, I feel like this stuff has been following me around. I'd really like to deep-dive into logic programming and related paradigms. Just recently came across Answer Set Programming[0] (via Potassco's clingo[1]), and it has made me realize just how ignorant I am of the design space that's being explored here.

More personally, I recently spent enough time with first Scheme and then APL that the paradigms clicked for me, and the effect that had on the entirety of my outlook on work was dramatically changed as a result. For whatever reason, I feel like breaking down my ingrained technical paradigms has allowed me to integrate and strengthen my soft skills.

Plus, mind-expanding experiences are just plain fun. Looking for more of that juice!

[0]:https://en.wikipedia.org/wiki/Answer_set_programming

[1]:https://potassco.org/

>>xelxeb+(OP)
I strongly recommend checking Souffle programming language. It's a dialect of Datalog that can output bulk CSV data that can be easily imported into other databases (like Duckdb or Excel etc). It creates an extremely intuitive framework for logical programming. I.e. you can visualize logical programming as each relation being a giant table of elements, "or" operation being akin to SQL `union all`, "and" operation being akin to SQL `join`, "not" operation being akin to `outer join ... where joined isnull` etc...

>>xelxeb+(OP)
Could have been an LSD trip description

>>xelxeb+(OP)
I'm literally using ASP and Clingo to do logic programming for school. And you're telling it became relevant to you in your work??

>>gnulin+R9
The tragedy of RDF and OWL is that people don’t perceive the connection between logic and databases.

>>szundi+Kb
No, it's SLD-Resolution :P

>>YeGobl+zO
"Susie in the Lye with Diamonds"

  Picture yourself as the goal of a problem
  With cut-driven search and definite clause
  Somebody calls you, you answer quite "no"-ly
  A girl with Kowalskified eyes...

>>MIA_Al+dh
I use ASP at work! I used it as the core of a powerful code generator: I modeled the type system I wanted to implement, some base operations and derivation rules, and had it synthesize implementations for every possible operator between every possible pair of types. I run clasp and it dumps out thousands of lines of C# implementing a simple symbolic matrix linear algebra library. It's one of the most beautiful things I've made, imo.

>>082349+ni1
Thanks, I'll treasure that :)