logic-programming topic

List logic-programming repositories

precept

654
Stars
33
Forks
Watchers

A declarative programming framework

verified publisher icon CoNarrative

logically

113
Stars
9
Forks
Watchers

explorations in core.logic

verified publisher icon namin

meander

911
Stars
54
Forks
Watchers

Tools for transparent data transformation

verified publisher icon noprompt

atomspace

782
Stars
225
Forks
Watchers

The OpenCog (hyper-)graph database and graph rewriting system

verified publisher icon opencog

Ejercicios-Practicos

402
Stars
103
Forks
Watchers

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

verified publisher icon alexanyernas

logtalk3

399
Stars
30
Forks
Watchers

Logtalk - declarative object-oriented logic programming language

verified publisher icon LogtalkDotOrg

z3.rs

315
Stars
103
Forks
Watchers

Rust bindings for the Z3 solver.

verified publisher icon prove-rs

holmes

298
Stars
12
Forks
Watchers

A reference library for constraint-solving with propagators and CDCL.

verified publisher icon i-am-tom

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