L

logic programming

Projects with this topic

PIKA-lab / Argumentation / Arg2P-Kt

prolog logic progra... Kotlin
+ 9 more

1

Updated Aug 02, 2023

1 0 0 1

Updated Aug 02, 2023
exercises-and-experiments / Lispified Picat

programming ... logic progra...

0

Updated Sep 20, 2022

0 0 0 0

Updated Sep 20, 2022
PIKA-lab / tuProlog / 2P-Kt

A Kotlin Multi-Platform ecosystem for symbolic AI

prolog logic progra... Kotlin
+ 7 more

9

Updated May 25, 2022

9 8 2 52

Updated May 25, 2022
gilmi / logi

a silly little programming language inspired by datalog.

Haskell plt interpreter
+ 2 more

1

Updated Jan 25, 2021

1 0 0 1

Updated Jan 25, 2021