Explore Projects

Discover 3 open source projects

Active filters (1):

Search: logic-programming×

Showing 1-3 of 3 projects

Introduction to modern Prolog for developers

1.4K

Stable

HTML

React

#prolog#teaching-materials#logic-programming

SWI-Prolog is a powerful open-source Prolog implementation for developers working with logic programming.

1.2K

Active

API Frameworks

CLI Tools

#logic-programming#prolog#swi-prolog

Soufflé is a Datalog-based static code analysis tool that synthesizes parallel C++ programs from logic specifications.

1.1K

Stable

C++

Static Code Analysis

API Frameworks

C++

#datalog#logic-programming#static-code-analysis

Get weekly updates on trending AI coding tools and projects.