π³π± Made in Netherlands
Discover Netherlands's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Netherlands.
TOP Prolog Projects
SWI-Prolog/swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE
wouterbeek/prolog_library_collection
A collection of Prolog libraries.
ClioPatria/ClioPatria
ClioPatria provides an RDF application platform
LOD-Laundromat/LOD-Laundromat
Cleaning other people's dirty data.
linkyndy/expert-systems
A basic expert system, written in Prolog, that suggests what programming language one should learn first.
SWI-Prolog/packages-semweb
The SWI-Prolog RDF store
SWI-Prolog/packages-chr
CHR: Leuven Constraint Handling Rules
SWI-Prolog/packages-http
The SWI-Prolog HTTP server and client libraries
rug-compling/Alpino
Alpino parser and related tools for Dutch
SWI-Prolog/sCASP
Top-down interpreter for ASP programs with Constraints
edisonm/refactor
Refactoring Tools for SWI-Prolog
JanWielemaker/chat80
Classical CHAT80 NLP system for Prolog
hbrouwer/dfs-tools
Distributional Formal Semantics (DFS) tools
JanWielemaker/swi-chat
Demo SWI-Prolog HTTP based chat server
JanWielemaker/ffi
SWI-Prolog dynamic C interface
wouterbeek/prolog_rdf
Advanced support for working with RDF in Prolog.
SWI-Prolog/plweb
SWI-Prolog web server sources for www.swi-prolog.org
JanWielemaker/sCASP
top-down interpreter for ASP programs with constraints
SWI-Prolog/bench
Prolog benchmarks (`van Roy' set)
JanWielemaker/todo-backend-swi-prolog
Implementation of "todo-backed"
JanWielemaker/swi-erlang
Yes, Erlang in SWI-Prolog!
wouterbeek/prolog_graphviz
A library for visualizing graphs in Prolog.
SWI-Prolog/packages-pengines
Pengines: Prolog engines
SWI-Prolog-Education/talespin-annie
Annie's version of talespin
JanWielemaker/rits
Rule-based Intelligent Tutoring System
SWI-Prolog/packages-plunit
The SWI-Prolog Unit Testing library
JanWielemaker/tabling_library
Benoit Desouter's library for tabling on delimited continuations
JanWielemaker/openapi
SWI-Prolog OpenAPI (Swagger) support
jrvosse/amalgame
Amalgame: a SKOS vocabulary alignment tool
SWI-Prolog/rclswi
ROS2 bridge for SWI-Prolog
SWI-Prolog/packages-clpqr
CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck
SWI-Prolog/packages-R
SWI-Prolog to R Project for Statistical Computing interface
danieldk/brainfuck-pl
A brainf*ck interpreter in Prolog
wouterbeek/prolog_jwt
A library bringing JSON Web Token (JWT) support to SWI-Prolog.
SWI-Prolog/packages-inclpr
Constraint solver for nonlinear (polynomial) constraints over reals
SWI-Prolog/contrib-protobufs
An interface to Google Protocol Buffers (protobuf)
SWI-Prolog/packages-regex
Pure Prolog regex implementation
aistrate/ClocksinMellish
Code from the book "Programming in Prolog" by William F. Clocksin and Christopher S. Mellish (original and my own solutions to exercises).
SWI-Prolog/packages-cql
High level database interface
ClioPatria/swish
Add Prolog interaction to ClioPatria
JanWielemaker/rocks-predicates
Put predicates into a RocksDB database
JanWielemaker/my-prolog-lib
Personal SWI-Prolog utilities library
paulh002/SoapyHifiBerry
Raspberry PI SDR Tayloe board and SoapySDR driver
JanWielemaker/wordnet
SWI-Prolog pack to load WordNet relations lazily
JanWielemaker/plsheet
Prolog based spreadsheet analyzer (prototype)
SWI-Prolog/packages-indent
Reformatter for Prolog source code
wouterbeek/prolog_geo
Prolog-based GIS library (wrapper around GEOS and Proj).
SWI-Prolog/packages-pldoc
The SWI-Prolog documentation system
SWI-Prolog/packages-RDF
The SWI-Prolog RDF/XML parser
wouterbeek/DataHives
Agent-based infrastructure for distributed reasoning on the Semantic Web.
SWI-Prolog/packages-paxos
SWI-Prolog replicating key-value store
edisonm/assertions
Ciao Assertion Reader for SWI-Prolog
JanWielemaker/triple20
XPCE/SWI-Prolog based RDF browser and editor
JanWielemaker/logical-loops
ECLiPSe logical loops for SWI-Prolog
JanWielemaker/dec10
The original DEC10 Prolog library
SWI-Prolog/misc-emacs
Demo customization for PceEmacs
SWI-Prolog/packages-pcre
SWI-Prolog package for access to Perl Regular Expressions
wouterbeek/ppm
Prolog Package Manager (PPM): A package manager for Prolog.
thoha/FlorML
Repository for FlorML XML schema, XML files produced, and documentation
edisonm/xtools
Extended tools for Prolog
JanWielemaker/rdf-any
Load RDF from diverse formats
SWI-Prolog/packages-cppproxy
A network-based SWI-Prolog <-> C++ interface
SWI-Prolog/packages-zlib
The SWI-Prolog zlib compressed stream interface
vincent290587/EAGLE
Eagle projects: PCBs !
hilios/wumpus-prolog
Artificial intelligence agent for the Hunt the Wumpus game implemented in Prolog
JanWielemaker/matrix
Prototype proposal for adding a matrix library to SWI-Prolog
CptWesley/prolog-brainfuck
Brainfuck interpreter written in Prolog.
AstroPlant/astroplant-hardware
Raw data files for hardware PCB's
wouterbeek/prolog_starter_project
A simple Prolog example project that can be used as a template to build new projects with.
SWI-Prolog/packages-redis
Redis client library
SWI-Prolog/clpqr-examples
Examples and test cases for clp(QR)
JanWielemaker/ddebug
Declarative debugger
JanWielemaker/bio_db
Access, use and manage big, biological datasets.
JanWielemaker/rserve_client
SWI-Prolog/SWISH client for Rserve
wouterbeek/ModelTheory
Prolog implementation of Model Theory
cwi-swat/flint
Flint
DavidMenting/StripeV02
JanWielemaker/smtp
SWI-Prolog smtp pack
SWI-Prolog/packages-prosqlite
Prolog to SQLite interface
faif/Prodoku
A Sudoku solver in Prolog.
SWI-Prolog/packages-ltx2htm
SWI-Prolog LaTeX to HTML translation for the documentation
JanWielemaker/wsdl
SWI-Prolog pack WSDL
sherkhan91/prolog_financial_advisor
Financial Adviser in prolog
NoFishLikeIan/prolog-playground
Just some random prolog code
edisonm/xlibrary
Extended libraries for Prolog
pdmosses/msos-in-prolog
Modular structural operational semantics in Prolog
wouterbeek/LDFS
Linked Data File System (LDFS)
deosjr/progue
Prolog roguelike
discopt/polymake-extended-formulations
A Polymake extension to compute slack factorizations from extended formulations and vice versa.
JanWielemaker/GOAL
ajvdw/EMSBusShield
oxkitsune/cs-prolog
A csgo "multi-hack" written in prolog using RPM/WPM bindings written in c++
edisonm/rtchecks
Run-Time Checking for Ciao and SWI-Prolog
ClioPatria/xmlrdf
Convert XML to RDF
wouterbeek/rdf_backward
This library implements full RDF(S) entailment using mode-directed tabling.
JanWielemaker/r_session
SWI-Prolog pack to talk to an R process
JanWielemaker/pce_emacs_extensions
Personal extensions for SWI-Prolog's built-in editor
annanda/ai_prolog_aulas
ExercΓcios das Aulas de Prolog
wouterbeek/LDF-Client
A Linked Data Fragments (LDF) client for SWI-Prolog.
jrv/laos-hpc-brd
LaOS HPC mini circuit board