|
|
Dockerfile |
9 |
Docker images for SWI-Prolog |
Mar 10, 2023 |
|
|
Prolog |
446 |
SWI-Prolog for SHaring: a SWI-Prolog web IDE |
Apr 28, 2023 |
|
|
Dockerfile |
9 |
Cross-compile GnuPG for Windows using Docker |
Jul 17, 2022 |
|
|
None |
2 |
SWI prolog programming |
Jun 11, 2022 |
|
|
Java |
3 |
InterProlog, adusted for SWI-Prolog |
Jul 15, 2017 |
|
|
Prolog |
7 |
ROS2 bridge for SWI-Prolog |
Jun 18, 2022 |
|
|
Prolog |
16 |
Refactoring Tools for SWI-Prolog |
Oct 28, 2022 |
|
|
Prolog |
19 |
Markdown parser for SWI-Prolog. |
Mar 25, 2023 |
|
|
Prolog |
2 |
Interactors (engines) for SWI-Prolog |
Sep 05, 2022 |
|
|
C |
181 |
SWI-Prolog stable releases |
Apr 20, 2023 |
|
|
Prolog |
3 |
SWI-Prolog for SHaring: a SWI-Prolog web IDE (Friguzzi also less changes to Main) |
Nov 16, 2021 |
|
|
Go |
5 |
pengines (SWI Prolog) client for Go |
Jun 20, 2022 |
|
|
Python |
2 |
Python library for using SWI Prolog |
Dec 29, 2021 |
|
|
Emacs Lisp |
3 |
A Flymake backend for SWI-Prolog |
Apr 06, 2022 |
|
|
C |
13 |
The graphics toolkit for SWI-Prolog |
Mar 12, 2023 |
|
|
Prolog |
4 |
Ciao Assertion Reader for SWI-Prolog |
Dec 14, 2022 |
|
|
Prolog |
7 |
Dict validation/conversion for SWI-Prolog. |
May 06, 2023 |
|
|
Prolog |
7 |
Virtual DOM implementation for SWI-Prolog |
Mar 04, 2023 |
|
|
Prolog |
5 |
Runtime determinacy checker for SWI-Prolog |
Apr 23, 2023 |
|
|
Prolog |
30 |
Text templating processor for SWI-Prolog. |
Mar 04, 2023 |
|
|
Julia |
7 |
Julia wrapper around SWI Prolog |
May 12, 2022 |
|
|
C++ |
4 |
SWI-Prolog spatial indexing package |
Feb 18, 2022 |
|
|
C |
2 |
The SWI-Prolog TIPC interface |
Jul 03, 2021 |
|
|
C |
3 |
The SWI-Prolog BerkelyDB interface |
Aug 23, 2022 |
|
|
C++ |
26 |
The SWI-Prolog C++ interface |
Apr 18, 2023 |
|
|
C |
6 |
The SWI-Prolog ODBC interface |
Nov 10, 2021 |
|
|
Prolog |
5 |
The SWI-Prolog documentation system |
Jan 31, 2023 |
|
|
Prolog |
25 |
The SWI-Prolog RDF store |
Mar 12, 2023 |
|
|
C |
4 |
The SWI-Prolog SSL interface |
Jan 07, 2022 |
|
|
C |
775 |
SWI-Prolog Main development repository |
Apr 29, 2023 |
|
|
C |
3 |
Open Sound Control (OSC) for SWI-Prolog |
Mar 29, 2020 |
|
|
Prolog |
4 |
Temporary repository for SWI-Prolog pack tests |
Aug 18, 2019 |
|
|
C# |
20 |
Interface from C# to SWI-Prolog |
Apr 20, 2023 |
|
|
Prolog |
4 |
SWI-Prolog replicating key-value store |
Apr 10, 2020 |
|
|
Prolog |
6 |
The SWI-Prolog Unit Testing library |
Dec 30, 2022 |
|
|
Prolog |
4 |
The SWI-Prolog RDF/XML parser |
Dec 13, 2021 |
|
|
Prolog |
2 |
https://github.com/SWI-Prolog/packages-semweb.git |
Jan 31, 2023 |
|
|
Java |
3 |
Integration of SWI-Prolog into Bioclipse |
Dec 19, 2013 |
|
|
Prolog |
4 |
An SWI-Prolog interface to SQLite |
Apr 30, 2022 |
|
|
Prolog |
17 |
Debug Adapter Protocol (DAP) implementation for SWI-Prolog |
Jun 19, 2022 |
|
|
C |
5 |
The SWI-Prolog library for accessing structured files |
Mar 09, 2023 |
|
|
Prolog |
15 |
SWI-Prolog web server sources for www.swi-prolog.org |
Mar 23, 2023 |
|
|
Prolog |
2 |
Run-Time Checking for Ciao and SWI-Prolog |
Dec 26, 2021 |
|
|
Prolog |
10 |
An alternative HTTP router/dispatcher for SWI-Prolog. |
Apr 23, 2023 |
|
|
Prolog |
6 |
Implementation of OSLC Core in SWI-Prolog |
Mar 18, 2022 |
|
|
Prolog |
2 |
A GOLD Parser implementation in SWI-Prolog |
Aug 13, 2019 |
|
|
Prolog |
3 |
A network-based SWI-Prolog <-> C++ interface |
Apr 18, 2023 |
|
|
C |
5 |
The SWI-Prolog SGML/XML/HTML parser |
Aug 17, 2022 |
|
|
Prolog |
3 |
The SWI-Prolog zlib compressed stream interface |
Sep 06, 2022 |
|
|
JavaScript |
8 |
Sample SWI-Prolog server with JavaScript client |
Dec 25, 2022 |