Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

gitlab.com topics: logic programming

pika-lab/argumentation/arg2p-kt

Last synced at: over 2 years ago - Stars: 1 - Forks: 0

exercises-and-experiments/lispified-picat

Last synced at: over 2 years ago - Stars: 0 - Forks: 0

pika-lab/tuprolog/2p-in-kotlin

A Kotlin Multi-Platform ecosystem for symbolic AI

Last synced at: over 2 years ago - Stars: 8 - Forks: 8

gilmi/logi

a silly little programming language inspired by datalog.

Last synced at: over 2 years ago - Stars: 0 - Forks: 0

Related Keywords
logic programming 4 tuProlog 2 symbolic ai 2 prolog 2 multi-platform 2 kotlin 2 js 2 javascript 2 java 2 2p 2 argumentation 1 2p-kt 1 programming language 1 haskell 1 haskell-megaparsec 1 interpreter 1 plt 1