logic-programming topic

List logic-programming repositories

sicp-logic

64
Stars
2
Forks
Watchers

A Clojure implementation of the logic programming language from chapter 4 of SICP

verified publisher icon jdormit

2p-kt

86
Stars
14
Forks
Watchers

A Kotlin Multi-Platform ecosystem for symbolic AI

verified publisher icon tuProlog

go

72
Stars
3
Forks
Watchers

Trealla Prolog embedded in Go using WASM

verified publisher icon trealla-prolog

hydiomatic

79
Stars
4
Forks
Watchers

The Hy Transformer

verified publisher icon hylang

awesome-agi-cocosci

254
Stars
22
Forks
Watchers

An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.

verified publisher icon SHI-Yu-Zhe

Jatalog

73
Stars
8
Forks
Watchers

Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation

verified publisher icon wernsey

mixologician

75
Stars
1
Forks
Watchers

optimize your home bar with ✨logic programming✨

verified publisher icon ianthehenry

RTEC

80
Stars
15
Forks
Watchers

RTEC is an Event Calculus implementation optimised for stream reasoning

verified publisher icon aartikis

kanren

161
Stars
17
Forks
Watchers

An extensible, lightweight relational/logic programming DSL written in pure Python

verified publisher icon pythological

pytholog

106
Stars
16
Forks
Watchers

Python library that enables using prolog syntax and logic programming in python

verified publisher icon MNoorFawi