zlacker

[return to "Can logic programming be liberated from predicates and backtracking? [pdf]"]
1. xelxeb+6i2[view] [source] 2024-10-13 05:17:50
>>matt_d+(OP)
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/

◧◩
2. szundi+Qt2[view] [source] 2024-10-13 08:05:17
>>xelxeb+6i2
Could have been an LSD trip description
◧◩◪
3. YeGobl+F63[view] [source] 2024-10-13 14:47:36
>>szundi+Qt2
No, it's SLD-Resolution :P
◧◩◪◨
4. 082349+tA3[view] [source] 2024-10-13 18:33:26
>>YeGobl+F63
"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...
[go to top]