swi-prolog topic

List swi-prolog repositories

owl-verbalizer

36
Stars
7
Forks
Watchers

OWL verbalizer: making machine-readable knowledge also human-readable

verified publisher icon Kaljurand

letswicrypt

35
Stars
2
Forks
Watchers

Prolog HTTPS Servers

verified publisher icon triska

Brachylog

117
Stars
5
Forks
Watchers

A terse declarative logic programming language

verified publisher icon JCumin

swipl-devel

907
Stars
167
Forks
Watchers

SWI-Prolog Main development repository

verified publisher icon SWI-Prolog

pyswip

445
Stars
94
Forks
Watchers

PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy query...

verified publisher icon yuce

xsd2json

148
Stars
28
Forks
Watchers

Translate XML Schema into equivalent JSON Schema

verified publisher icon fnogatz

APE

182
Stars
28
Forks
Watchers

Parser for Attempto Controlled English (ACE)

verified publisher icon Attempto

biomake

99
Stars
9
Forks
Watchers

GNU-Make-like utility for managing builds and complex workflows

verified publisher icon evoldoers

swipl-wasm

74
Stars
5
Forks
Watchers

Run SWI-Prolog in your browser using WebAssemply

verified publisher icon SWI-Prolog

wam_common_lisp

96
Stars
8
Forks
Watchers

Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

verified publisher icon logicmoo