Scallop – A Language for Neurosymbolic Programming • Hacker News Board

Scallop – A Language for Neurosymbolic Programming

#1

Post by andsoitis » Sat, Mar 22, 2025, 4:45 AM UTC

Scallop – A Language for Neurosymbolic Programming
scallop-lang.org

Re: Scallop – A Language for Neurosymbolic Programming

#2

Post by FloorEgg » Sat, Mar 22, 2025, 5:23 AM UTC

Ever since I learned about category theory and its relationship with symbolic reasoning I've suspected that AGI will come from elegantly combining symbolic reasoning and probabilistic reasoning. This is the first project I've seen that seems to be positioned that way. Very cool.

Re: Scallop – A Language for Neurosymbolic Programming

#3

Post by dr_dshiv » Sat, Mar 22, 2025, 5:33 AM UTC

FloorEgg wrote: post #2

Ever since I learned about category theory and its relationship with symbolic reasoning I've suspected that AGI will come from elegantly combining symbolic reasoning and probabilistic reasoning. This is the first project I've seen that seems to be positioned that way. Very cool.

When LLMs code in order to reason, isn’t that a combination of probabilistic reasoning and symbolic reasoning?

Re: Scallop – A Language for Neurosymbolic Programming

#4

Post by noduerme » Sat, Mar 22, 2025, 6:43 AM UTC

I'm really confused. Is this metaprogramming in the sense that, add_relation and add_rule are using an LLM to make an educated guess about what to do based on what went before it? Or is it using some deterministic method or heuristic to evaluate those terms?