swi-prolog topic

List swi-prolog repositories

owl-verbalizer

36
Stars
7
Forks
Watchers

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

letswicrypt

35
Stars
2
Forks
Watchers

Prolog HTTPS Servers

Brachylog

117
Stars
5
Forks
Watchers

A terse declarative logic programming language

swipl-devel

907
Stars
167
Forks
Watchers

SWI-Prolog Main development repository

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...

xsd2json

148
Stars
28
Forks
Watchers

Translate XML Schema into equivalent JSON Schema

APE

182
Stars
28
Forks
Watchers

Parser for Attempto Controlled English (ACE)

biomake

99
Stars
9
Forks
Watchers

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

swipl-wasm

74
Stars
5
Forks
Watchers

Run SWI-Prolog in your browser using WebAssemply

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.