logic-programming topic

List logic-programming repositories

gominikanren

35
Stars
2
Forks
Watchers

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

verified publisher icon awalterschulze

fovris

5
Stars
1
Forks
Watchers

Four-Valued Reasoning System

verified publisher icon mnowotnik

ascent

370
Stars
13
Forks
Watchers

logic programming in Rust

verified publisher icon s-arash

datalog

254
Stars
22
Forks
Watchers

An in-memory datalog implementation for OCaml.

verified publisher icon c-cube

ut

25
Stars
2
Forks
Watchers

Yet Another Efficient Unification Algorithm

verified publisher icon kuba--

prolog-dry

35
Stars
2
Forks
Watchers

A terse Prolog course

verified publisher icon norswap

eclair-lang

193
Stars
12
Forks
Watchers

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

verified publisher icon luc-tielen

101-daily-codes

32
Stars
2
Forks
Watchers

💻 Lógica de programação básica, 101 dias consecutivos de resoluções.

verified publisher icon alexrintt

clpsmt-miniKanren

36
Stars
8
Forks
Watchers

CLP(SMT) on top of miniKanren

verified publisher icon namin

the-power-of-prolog

1.2k
Stars
67
Forks
Watchers

Introduction to modern Prolog

verified publisher icon triska