Índice de repositorios.
-
Updated
May 9, 2024 - HTML
Índice de repositorios.
Fully in-browser IDE and rule engine for L4 (a DSL for the law), along with various language bindings for L4
Logtalk - declarative object-oriented logic programming language
Readings on computational logic, interactive theorem proving and functional programming.
A Kotlin Multi-Platform ecosystem for symbolic AI
A compact, efficient Prolog interpreter written in plain-old C.
A collection of etudes for folks new to Prolog (and sometimes experienced ones) to learn the language in a practical fashion.
DALI Multi Agent System Framework
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Trealla Prolog for the web
Trealla Prolog embedded in Go using WASM
An app that tells you how you’re related to your family members.
Converts Prolog algorithms to List Prolog algorithms
Add a description, image, and links to the prolog topic page so that developers can more easily learn about it.
To associate your repository with the prolog topic, visit your repo's landing page and select "manage topics."