SWI-Prolog

SWI-Prolog

Geek Repo

Comprehensive Prolog compiler and development environment

Location:Amsterdam

Home Page:http://www.swi-prolog.org

Github PK Tool:Github PK Tool

SWI-Prolog's repositories

swipl-devel

SWI-Prolog Main development repository

Language:CLicense:NOASSERTIONStargazers:889Issues:47Issues:724

packages-cpp

The SWI-Prolog C++ interface

packages-semweb

The SWI-Prolog RDF store

npm-swipl-wasm

SWI-Prolog WebAssembly build as a NPM package

Language:JavaScriptLicense:NOASSERTIONStargazers:26Issues:3Issues:31

packages-swipy

Python interface for SWI-Prolog

plweb

SWI-Prolog web server sources for www.swi-prolog.org

packages-xpce

The graphics toolkit for SWI-Prolog

docker-swipl

Docker images for SWI-Prolog

Language:DockerfileLicense:BSD-2-ClauseStargazers:12Issues:4Issues:14

packages-mqi

Machine Query Interface

packages-pengines

Pengines: Prolog engines

packages-swipl-win

Portable Qt-based console for SWI-Prolog by Carlo Capelli

packages-plunit

The SWI-Prolog Unit Testing library

contrib-protobufs

An interface to Google Protocol Buffers (protobuf)

packages-sweep

GNU-Emacs interface that embeds Prolog as an Emacs module

Language:Emacs LispLicense:BSD-2-ClauseStargazers:7Issues:8Issues:0

packages-nlp

The SWI-Prolog NLP support library (stemming, etc.)

Language:CStargazers:6Issues:9Issues:0

packages-odbc

The SWI-Prolog ODBC interface

packages-pldoc

The SWI-Prolog documentation system

packages-table

The SWI-Prolog library for accessing structured files

Language:CStargazers:5Issues:9Issues:0

packages-paxos

SWI-Prolog replicating key-value store

packages-sgml

The SWI-Prolog SGML/XML/HTML parser

packages-ssl

The SWI-Prolog SSL interface

packages-utf8proc

Provide Unicode normalization and info using utf8proc

Language:CLicense:NOASSERTIONStargazers:4Issues:10Issues:0

packages-pcre

SWI-Prolog package for access to Perl Regular Expressions

packages-redis

Redis client library

Language:PrologStargazers:3Issues:5Issues:0

packages-zlib

The SWI-Prolog zlib compressed stream interface

contrib-tipc

The SWI-Prolog TIPC interface

Language:CStargazers:2Issues:8Issues:0

packages-windows

Example DLL and windows registry access library

Language:CStargazers:2Issues:9Issues:0

packages-stomp

STOMP client for message brokers

Language:PrologStargazers:1Issues:3Issues:0

packages-yaml

YAML reader and writer

Language:CStargazers:1Issues:3Issues:0

packages-readline

GNU readline interface

Language:CStargazers:0Issues:3Issues:2