SWI-Prolog

Comprehensive Prolog compiler and development environment

packages-cpp Public
The SWI-Prolog C++ interface

C++ 24 12 4 1 Updated Aug 11, 2022
swipl-devel Public
SWI-Prolog Main development repository

C 673 150 86 9 Updated Aug 11, 2022
packages-swipl-win Public
Portable Qt-based console for SWI-Prolog by Carlo Capelli

C++ 8 9 3 1 Updated Aug 11, 2022
packages-chr Public
CHR: Leuven Constraint Handling Rules

Prolog 20 10 3 1 Updated Aug 9, 2022
packages-http Public
The SWI-Prolog HTTP server and client libraries

Prolog 17 17 19 (1 issue needs help) 1 Updated Aug 2, 2022
swipl-wasm Public
Run SWI-Prolog in your browser using WebAssemply

HTML 73 6 6 0 Updated Aug 1, 2022
plweb Public
SWI-Prolog web server sources for www.swi-prolog.org

Prolog 11 8 8 0 Updated Jul 28, 2022
packages-zlib Public
The SWI-Prolog zlib compressed stream interface

Prolog 3 6 0 0 Updated Jul 28, 2022
packages-yaml Public
YAML reader and writer

C 2 5 0 0 Updated Jul 28, 2022
packages-xpce Public
The graphics toolkit for SWI-Prolog

C 11 10 6 0 Updated Jul 28, 2022

Pinned