janwielemaker Goto Github PK

altupdate

Implement concurrent alternative update strategies that involve incremental tabling

ape

Parser for Attempto Controlled English (ACE)

bio_db

Access, use and manage big, biological datasets.

c14n2

XML canonicalization library for SWI-Prolog (temporary repository)

chat80

Classical CHAT80 NLP system for Prolog

ciao

Ciao Prolog compatibility library

clingo

SWI-Prolog Clingo interface

clpbnr_pl

CLP(BNR) module for SWI-Prolog

codemirror

In-browser code editor

cplint

cplint is a suite of programs for reasoning with probabilistic logic programs

cplint-on-swish

SWI-Prolog for SHaring: a SWI-Prolog web IDE

ddd-downloader

The DDD downloader is a set of scripts to download the Databank Digitale Dagbladen from the National library of the Netherlands. It was created in 2011 by Daan Odijk at ILPS (University of Amsterdam).

ddebug

Declarative debugger

dec10

The original DEC10 Prolog library

depslint

A tool for dependencies validation for ninja build system using strace to detect the real dependencies

docker-library-docs

Documentation for Docker Official Images in docker-library

edcg

Extended DCG syntax for Prolog by Peter Van Roy

environ

Tutorial SWI-Prolog pack

eye

Euler Yet another proof Engine

ffi

SWI-Prolog dynamic C interface

fibers

Proof of concept for using engines to implement fibers

fine_upload

HTTP backend for FineUpload file uploader

garp3

Qualitative Reasoning & Modelling

gdal

GDAL is an open source MIT licensed translator library for raster and vector geospatial data formats.

geoip

GeoIP pack for SWI-Prolog

goal

googleclient

Google client code for SWI-Prolog version 7

gvterm

SWI-Prolog pack to render term internal structure using graphviz

hdt

Interface to HDT

hdt-cpp

HDT C++ Library and Tools