Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Scallop: A Neurosymbolic Programming Language

scallop-lang.github.io

Post reply on HN
Print view View original

1–10 of 30 posts

Re: Scallop: A Neurosymbolic Programming Language

#2

Post by rsfern »

The sum-of-NIST-digits CNN+logic example was really interesting: https://scallop-lang.github.io/tutorial.html#section-10

Anybody familiar with the space have pointers to good introductory material on this field? Or terms to search on to get at current work - differentiable logic?

Re: Scallop: A Neurosymbolic Programming Language

#3

Post by nudpiedo »

it looks really good, the sort of trully new generation of programming languages we need, bringing new constructs and solutions for the new world challenges and solutions as the previous abstractions are already falling short.

I wish it would be clear on which platforms does it run, because for its description I can only read about python's integration, which is great, but not sure whether I could run a "client" on javascript devices or C embedded and communicate to a Scallop backend that speaks python.

I hope to read more about it the following months

edit: typo

Re: Scallop: A Neurosymbolic Programming Language

#8

Post by mdp2021 »

zeckalpha wrote: post #6

At a glance, this looks like a new syntax in the Prolog family (with some other special stuff). Erlang, which kept Prolog syntax but lost its semantics, has a similar new syntax in Elixir.

Datalog.

> in the Prolog family

> Scallop is a full-fledged logic programming language based on Datalog [...] a logic rule-based query language for relational databases. [...] Scallop is a scalable Datalog solver equipped with support for discrete, probabilistic, and differentiable modes of reasoning

Re: Scallop: A Neurosymbolic Programming Language

#9

Post by doctor_eval »

nudpiedo wrote: post #3

it looks really good, the sort of trully new generation of programming languages we need, bringing new constructs and solutions for the new world challenges and solutions as the previous abstractions are already falling short. I wish it would be clear on which platforms does it run, because for its description I can only read about python's integration, which is great, but not sure whether I could run a "client" on j…

Download page has platforms: https://scallop-lang.github.io/download.html

Seems to be MacOS (M1 and x86) and Linux x86.

Post reply on HN