|
Prolog |
446 |
SWI-Prolog for SHaring: a SWI-Prolog web IDE |
Apr 28, 2023 |
|
Prolog |
2 |
Prolog web architecture for meta-interpreters |
Jan 18, 2018 |
|
HTML |
3 |
"Build client web apps with Prolog" - The library to make Single Page Prolog Applications! |
Jan 11, 2021 |
|
Prolog |
15 |
SWI-Prolog web server sources for www.swi-prolog.org |
Mar 23, 2023 |
|
Prolog |
3 |
SWI-Prolog for SHaring: a SWI-Prolog web IDE (Friguzzi also less changes to Main) |
Nov 16, 2021 |
|
C |
13 |
The graphics toolkit for SWI-Prolog |
Mar 12, 2023 |
|
JavaScript |
75 |
The best Prolog visualizer |
Feb 05, 2022 |
|
C# |
3 |
This is the Prolog interactive interpreter running on a Web browser! |
Mar 23, 2022 |
|
Prolog |
4 |
A Prolog Interpreter written in Prolog. |
Nov 18, 2022 |
|
Prolog |
2 |
A Prolog Compiler written in Prolog. |
Aug 24, 2023 |
|
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 |
|
Java |
46 |
JPL: The Prolog <-> Java interface |
Apr 19, 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 |
|
Prolog |
16 |
Optional types for Prolog |
Sep 14, 2022 |
|
VimL |
91 |
Prolog Integration for Vim |
Jul 18, 2022 |
|
Prolog |
2 |
Documentation Generator for Prolog |
Jan 27, 2022 |
|
None |
14 |
TextMate support for Prolog |
Jul 13, 2019 |
|
Prolog |
4 |
NAL Processor for Prolog |
Nov 16, 2021 |
|
Prolog |
2 |
OWL2 library for Prolog |
May 05, 2019 |
|
Prolog |
2 |
Extended libraries for Prolog |
Jan 09, 2022 |
|
Prolog |
3 |
Extended tools for Prolog |
Dec 14, 2022 |
|
Prolog |
3 |
Repository for Prolog classes |
Oct 15, 2023 |
|
Prolog |
3 |
PROLOG Codes for A2 |
May 25, 2023 |
|
Prolog |
3 |
Small adventure Games Gleaned off the Web such as "Marty's Prolog Adventure Prototype" |
Mar 26, 2020 |
|
C |
5 |
The SWI-Prolog library for accessing structured files |
Mar 09, 2023 |
|
Rust |
2 |
Prolog + hikalium |
Apr 10, 2022 |
|
Python |
7 |
Prolog + SMT |
Mar 21, 2022 |
|
Prolog |
2 |
Prolog roguelike |
Mar 22, 2023 |
|
Prolog |
2 |
🎓 Prolog |
Feb 14, 2024 |
|
C++ |
7 |
Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler |
Feb 18, 2023 |
|
Prolog |
6 |
The SWI-Prolog Unit Testing library |
Dec 30, 2022 |
|
Prolog |
4 |
The SWI-Prolog RDF/XML parser |
Dec 13, 2021 |
|
Go |
6 |
various predicates for ichiban/prolog |
Jul 23, 2022 |
|
TypeScript |
8 |
serverless Prolog for Cloudflare Workers |
Jun 28, 2022 |
|
Prolog |
20 |
Prolog binding for terminusdb-store |
Jun 17, 2022 |
|
Python |
55 |
A Prolog kernel for Jupyter |
Aug 23, 2022 |
|
None |
11 |
Prolog language support for Atom |
Nov 25, 2021 |
|
Prolog |
2 |
Code examples for teaching Prolog. |
Jul 21, 2017 |
|
Java |
3 |
InterProlog, adusted for SWI-Prolog |
Jul 15, 2017 |
|
Dockerfile |
9 |
Docker images for SWI-Prolog |
Mar 10, 2023 |
|
Prolog |
5 |
Reformatter for Prolog source code |
Jan 30, 2020 |
|
Prolog |
7 |
ROS2 bridge for SWI-Prolog |
Jun 18, 2022 |
|
Prolog |
9 |
A Jupyter kernel for Prolog |
Apr 15, 2023 |
|
Prolog |
2 |
Trealla Prolog templates for Spin |
Mar 14, 2023 |
|
Prolog |
16 |
Refactoring Tools for SWI-Prolog |
Oct 28, 2022 |