PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Scallop

< >

Scallop is a programming language created in 2024 by Ziyang Li.

#2279on PLDB

1Years Old

Download source code:

git clone https://github.com/scallop-lang/scallop

Homepage · Source Code · Docs

Neurosymbolic Programming with Scallop. Based on Datalog.

Tags: programming language
Scallop is developed on GitHub
Early development of Scallop happened in University of Pennsylvania
See also: (1 related languages) Datalog

Example from the web:

rel path(x, y) = dash(x, y)
rel path(x, y) = path(x, z), dash(z, y)
rel is_connected() = dot(x), dot(y), path(x, y), x != y

PLDB - Build the next great programming language · Add · Add Prompt · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v175.2.1