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

Scallop

< >

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

#1053on PLDB 2Years Old
Download source code:
git clone https://github.com/scallop-lang/scallop
Homepage 路 Source Code 路 Docs

Neurosymbolic Programming with Scallop. Based on 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

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

Built with Scroll v178.2.3