awesome-prolog

twitter_pack

Twitter API interface

Amazon API interface

Blog/CMS framework

irc_client

Low-level IRC interface

geoip

GeoIP interface

pl_omdb

OMDB API interface

zamia-ai

Open source AI system

biomake

GNU-Make-like building utility

Widely used, comprehensive Prolog compiler

ISO Prolog compiler with useful extensions

YAP

High-performance Prolog compiler

Ciao

A Prolog system with many extensions

A constraint logic programming system

XSB logic programming and deductive database system

prolongo

MongoDB driver

docstore

Document-oriented database

Centric abstraction layer for SQL

Biological datasets manager

SQLite interface

TerminuDB

for knowledge graph representation

julian

Date-time library

Type definitions

Lambda expressions

func

Function application and composition

condition

Common Lisp-like condition system

function_expansion

Function-like macros

Ciao functional syntax

swish

SWI-Prolog web IDE

Prolog IDE for Eclipse

VSC-Prolog

Prolog extension for Visual Studio Code

golog

Interpreter in Go

erlog

Interpreter in Erlang

chalk

Interpreter in Rust

jiprolog

Interpreter in Java

prolog.js

Interpreter in JavaScript

prolog

Interpreter in Haskell

ELPI

Embeddable λProlog Interpreter in OCaml

scryer prolog

ISO-compatible interpreter in Rust

Declarative JSON

log4p

Logging library

httplog

HTTP logfiles

Probabilistic logic programs

cplint

Reasoning suite for probabilistic logic programs

cplint_datasets

Dataset for machine learning

matrix

Matrix operations

nan_numerics_prime

Prime numbers library

pljulia

Numerical and technical computing

Execute Prolog online

Turing Machine simulator

yesbot

IRC Bot

Browser as HTML console

prologmud

Online text adventure game

Unix primitives library

inotify

Linux notification library

plmidi

Macos MIDI interface

Gnome bindings

Object oriented logic programming

Atom and RSS feeds parser

tokenize

Straightforward text tokenizing

markdown

Markdown parser

YAML parser

regex

Regular expressions library

arouter

HTTP router/dispatcher

httppl

Simple HTTP server

letswicrypt

HTTPS server

tap

Automated TAP testing

quickcheck

QuickCheck randomized testing

Prolog unit tests

prolog.vim

Prolog integration for Vim

ediprolog

Prolog integration for Emacs

sublimeprolog

Prolog integration for Sublime Text

repl.vim

VIM REPL with support for SWIProlog

Ciao mode for Emacs

Emacs mode for Ciao and Prolog

Anonymous predicates expansion utility

list_util

List utility predicates

Reveal terms using Graphviz

Load and analyze ODF spreadsheets

Create GraphML files

File manipulation library

UML loading predicates

cplint_r

R plotting predicates

Light-weight system for distributed applications and infrastructures

Thorough introductory course to programming in Prolog

Practice problems in Prolog and Logic programming

Introduction to modern Prolog

Intelligent reasoning by example

Thorough Prolog overview

Software engineering fundamentals using Prolog

Fundamentals in SWI-Prolog Modules

Building web application with SWI-Prolog

Constraint Logic Programming over Finite Domains

Fundamentals of Constraint Systems on Finite Domains

IO handling in libraries

General hour-long video tutorial

Hour-long introduction to Prolog

Four-part video introduction

Tutorials Point's series on Prolog

Tutorials Point's series on Prolog with lectures relating Prolog to AI

Pragmatic approach to Prolog

Full coverage of the Prolog programming language

Foundations of Logic programming and programming techniques in Prolog

Turning theories into practical techniques

In-depth coverage of key concepts on artificial intelligence

Build prototype expert system shells and their underlying inference engines

Coding standards and good practices for Prolog

Advanced programming techniques for Prolog

Frequently Asked Questions list of the SWI-Prolog newsgroup

Official SWI-Prolog Discourse board

Announcements, questions and discussion among SWI-Prolog users

IRC channel of the SWI-Prolog community

SWI-Prolog user discussion forum

User questions under the Prolog tag

Logic Programming and Prolog subreddit