Giters
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

pengines

Pengine and Prolog scratchpad

Language:HTMLLicense:BSD-2-ClauseStargazers:56Issues:21Issues:23

contrib-swiplcs

Interface from C# to SWI-Prolog

Language:C#Stargazers:22Issues:13Issues:7

tabled-prolog-book

Programming in Tabled Prolog by David S Warren

Language:TeXStargazers:20Issues:14Issues:2

roadmap

Discuss future development

Stargazers:19Issues:22Issues:60

packages-R

SWI-Prolog to R Project for Statistical Computing interface

Language:PrologStargazers:8Issues:8Issues:0

packages-regex

Pure Prolog regex implementation

Language:PrologStargazers:6Issues:9Issues:0

webstat

Examine SWI-Prolog resources and data using your browser

Language:JavaScriptStargazers:6Issues:0Issues:0

contrib-plfann

SWI-Prolog interface to FANN (http://leenissen.dk/fann/)

Language:CStargazers:5Issues:0Issues:0

packages-indent

Reformatter for Prolog source code

Language:PrologStargazers:5Issues:10Issues:0

contrib-space

SWI-Prolog spatial indexing package

Language:C++Stargazers:4Issues:0Issues:0

misc-emacs

Demo customization for PceEmacs

Language:PrologStargazers:4Issues:4Issues:0

contrib-InterProlog

InterProlog, adusted for SWI-Prolog

Language:JavaLicense:NOASSERTIONStargazers:3Issues:10Issues:0

contrib-plosc

Open Sound Control (OSC) for SWI-Prolog

Language:CStargazers:3Issues:9Issues:0

misc-winlibs

Required libraries for compiling on Windows (binaries)

Language:C++Stargazers:3Issues:3Issues:0

packages-jasmine

The SWI-Prolog interface to the Jasmine OODB

Language:CStargazers:3Issues:0Issues:0

SWI-Prolog.github.io

Organization pages

Stargazers:3Issues:4Issues:0

dleak

Memory leak debugger

Language:CStargazers:2Issues:0Issues:0

libXpm

XPM image library for xpce

Language:CLicense:NOASSERTIONStargazers:2Issues:3Issues:0

packages-prosqlite

Prolog to SQLite interface

Language:PrologStargazers:2Issues:9Issues:0

clpqr-examples

Examples and test cases for clp(QR)

Language:PrologStargazers:1Issues:3Issues:0

contrib-minisat

minisat solver by Michael Codish, Vitaly Lagoon, Peter J. Stuckey.

Language:C++Stargazers:1Issues:0Issues:0

misc-bdwgc

The Boehm-Demers-Weiser garbage collector for SWI-Prolog

Language:CStargazers:1Issues:4Issues:0

misc-C-sicstus

Use SWI-Prolog foreign code on SICStus Prolog

Language:CStargazers:1Issues:4Issues:0

misc-libXpm

Modified version of libXpm used by XPCE on MS-Windows

Language:CLicense:NOASSERTIONStargazers:1Issues:4Issues:0

misc-macos-build

Setup to make binaries for MacOS

License:NOASSERTIONStargazers:1Issues:4Issues:0

plweb-blog

Blog posts on SWI-Prolog

Stargazers:1Issues:0Issues:0

tag-it

A jQuery UI plugin to handle multi-tag fields as well as tag suggestions/autocomplete.

Language:JavaScriptLicense:MITStargazers:1Issues:3Issues:0

ossp-uuid

Mirror of the OSSP's UUID library

Language:ShellStargazers:0Issues:0Issues:0

packages-language_server

Provide access from Python and other languages

Language:PythonStargazers:0Issues:0Issues:0