Paulo Moura's repositories
weak-bases
An encoding of the Boolean co-clone lattice in Prolog, with tools for constructing weak bases.
aarroyoc-packs
My registry for the Logtalk / Prolog package manager
bacon-logtalk
Bacon system based on "Scientific Discovery" by Langley, Simon, Bradshaw, and Zytkow.
cplint
cplint is a suite of programs for reasoning with probabilistic logic programs
dctg-logtalk
Definite Clause Translation Grammar
eye
Euler Yet another proof Engine
format-source
Format Prolog or Logtalk source files
gprolog
GNU Prolog
identity
A pack for SWI-Prolog web framework to handle usernames, login, signup, and other user management
lgtinit
Initializes project scaffolding for Logtalk projects.
macports-ports
The MacPorts ports tree
MagicLogtalkPacks
Magic Logtalk Packs
proscriptls
A WAM-based Javascript implementation of Prolog with DOM builtins and debugger.
spec
The canonical spec for ulid
STRIPState
A STRIPS/Situation Calculus handler for handling state in Logtalk applications without mutation.
swidict
SWI-Prolog Dictionaries with Logtalk dictionary protocols
tau-prolog
An open source Prolog interpreter in JavaScript
terminus-server
open source model driven graph database for knowledge graph representation.
terminus_store_prolog
Prolog binding for terminus-store
teruel
Template engine for ISO Prolog, based on Jinja and Tera
TicTacToeTalk
TicTacToe implemented in Logtalk
trealla
A compact, efficient Prolog interpreter written in plain-old C.
webtalk
Framework for creating web applications using Logtalk