@SWI-Prolog

SWI-Prolog

Comprehensive Prolog compiler and development environment

Pinned repositories

  1. swipl-devel

    Main development repository

    C 150 41

  2. swish

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

    Prolog 139 34

  • The SWI-Prolog SSL interface

    Prolog 5 7 Updated Jan 17, 2017
  • JPL: The Prolog <-> Java interface

    Java 16 6 Updated Jan 17, 2017
  • Main development repository

    C 150 41 Updated Jan 17, 2017
  • Binding to BSD libedit command line editor

    C Updated Jan 17, 2017
  • The SWI-Prolog HTTP server and client libraries

    Prolog 8 8 Updated Jan 15, 2017
  • The SWI-Prolog SGML/XML/HTML parser

    C 3 7 Updated Jan 15, 2017
  • Submodule of plweb.git that contains the (wiki) web-pages

    HTML 2 2 Updated Jan 15, 2017
  • Docker image for SWI Prolog

    Shell 2 3 Updated Jan 10, 2017
  • The graphics toolkit for SWI-Prolog

    C 3 2 Updated Jan 10, 2017
  • The SWI-Prolog zlib compressed stream interface

    C 3 2 Updated Jan 9, 2017
  • Example DLL and windows registry access library

    C 2 2 Updated Jan 9, 2017
  • Provide Unicode normalization and info using utf8proc

    C 3 1 Updated Jan 9, 2017
  • The SWI-Prolog TIPC interface

    Prolog 2 2 Updated Jan 9, 2017
  • The SWI-Prolog library for accessing structured files

    C 3 1 Updated Jan 9, 2017
  • Portable Qt-based console for SWI-Prolog by Carlo Capelli

    C++ 5 3 Updated Jan 9, 2017
  • SWI-Prolog spatial indexing package

    C++ 3 1 Updated Jan 9, 2017
  • The SWI-Prolog RDF store

    Prolog 11 6 Updated Jan 9, 2017
  • GNU readline interface

    C Updated Jan 9, 2017
  • An interface to Google Protocol Buffers (protobuf)

    Prolog 6 1 Updated Jan 9, 2017
  • The SWI-Prolog Unit Testing library

    Prolog 2 3 Updated Jan 9, 2017
  • The SWI-Prolog documentation system

    Prolog 4 5 Updated Jan 9, 2017
  • Pengines: Prolog engines

    Prolog 7 3 Updated Jan 9, 2017
  • The SWI-Prolog ODBC interface

    C 2 1 Updated Jan 9, 2017
  • The SWI-Prolog NLP support library (stemming, etc.)

    C 3 2 Updated Jan 9, 2017
  • SWI-Prolog LaTeX to HTML translation for the documentation

    Prolog 3 3 Updated Jan 9, 2017
  • The SWI-Prolog interface to the Jasmine OODB

    C 3 1 Updated Jan 9, 2017
  • Constraint solver for nonlinear (polynomial) constraints over reals

    Prolog 3 1 Updated Jan 9, 2017
  • High level database interface

    Prolog 2 2 Updated Jan 9, 2017
  • A network-based SWI-Prolog <-> C++ interface

    Prolog 1 1 Updated Jan 9, 2017
  • The SWI-Prolog C++ interface

    C++ 8 5 Updated Jan 9, 2017