Showing 1-3 of 3 projects
Introduction to modern Prolog for developers
SWI-Prolog is a powerful open-source Prolog implementation for developers working with logic programming.
Soufflรฉ is a Datalog-based static code analysis tool that synthesizes parallel C++ programs from logic specifications.
Get weekly updates on trending AI coding tools and projects.