prolog
Here are 2,029 public repositories matching this topic...
Logtalk - declarative object-oriented logic programming language
-
Updated
Jun 2, 2024 - Prolog
Índice de repositorios.
-
Updated
Jun 2, 2024 - HTML
Trealla Prolog for the web
-
Updated
Jun 2, 2024 - TypeScript
Trealla Prolog embedded in Go using WASM
-
Updated
Jun 2, 2024 - Go
RTEC is an Event Calculus implementation optimised for stream reasoning
-
Updated
Jun 1, 2024 - Prolog
A Kotlin Multi-Platform ecosystem for symbolic AI
-
Updated
Jun 1, 2024 - Kotlin
Yet another Java based Prolog engine
-
Updated
Jun 1, 2024 - Java
A compact, efficient Prolog interpreter written in plain-old C.
-
Updated
Jun 1, 2024 - C
Readings on computational logic, interactive theorem proving and functional programming.
-
Updated
Jun 1, 2024
AI - Intelligenza Artificiale presso l'Università degli Studi di Parma (6 CFU).
-
Updated
Jun 1, 2024 - Prolog
An implementation of graph traversal algorithms in Prolog, focusing on breadth-first search (BFS). The project finds the shortest path between nodes in a graph, covering both directed and undirected graphs with extensive test cases.
-
Updated
Jun 1, 2024 - Prolog
Fully in-browser IDE and rule engine for L4 (a DSL for the law), along with various language binding libraries
-
Updated
Jun 1, 2024 - Clojure
A modern Prolog implementation written mostly in Rust.
-
Updated
May 31, 2024 - Rust
This is an implementation of a multiagent system in 2APL, i.e. The Alien Trading Corporation: an interstellar entity specializing in the sourcing, manufacturing, and selling of unique products from an alien planet to Earth-based customers.If this project was helpful for you please leave a star!
-
Updated
May 31, 2024 - Java
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
-
Updated
Jun 2, 2024 - Jupyter Notebook
Improve this page
Add a description, image, and links to the prolog topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the prolog topic, visit your repo's landing page and select "manage topics."