Logtalk - declarative object-oriented logic programming language
-
Updated
Nov 13, 2025 - Prolog
#
prolog
Here are 2,298 public repositories matching this topic...
A compact, efficient Prolog interpreter written in plain-old C.
-
Updated
Nov 13, 2025 - C
🤖 Generate Prolog predicates using LLMs that embed reasoning justifications, bridging neural and symbolic AI for improved logical coherence.
prolog formal-methods logic-programming research-paper explainable-ai rag academic-research neuro-symbolic-ai llm smt-solvers
-
Updated
Nov 13, 2025 - Shell
🧠 Explore Prolog with sb0, a streamlined environment for developing logic-based applications and enhancing your programming skills.
open-source education natural-language-processing algorithms prolog theorem-proving artificial-intelligence data-structures programming-languages software-development prolog-interpreter logic-programming knowledge-representation declarative-programming academic-research
-
Updated
Nov 13, 2025 - Python
🧠 Enhance logic programming with Prolog-KNE, a toolkit for knowledge extraction and natural language understanding in Prolog environments.
open-source natural-language-processing prolog theorem-proving artificial-intelligence constraints programming-languages logic-programming problem-solving knowledge-representation reasoning declarative-programming expert-systems educational-tools rule-based-systems
-
Updated
Nov 13, 2025
🧩 Implement object-oriented programming concepts in Prolog for cleaner, more efficient code organization and design.
education programming database research algorithms functional-programming logic code-analysis prolog artificial-intelligence object-oriented test-driven-development compiler-design knowledge-representation software-design rule-based-systems
-
Updated
Nov 13, 2025
Prolog-to-Bash compiler for declarative automation, featuring BFS-optimized transitive closures and recursion support.
bash open-source automation compiler graph-algorithms declarative prolog transpiler recursion stream-processing linear-recursion mutual-recursion
-
Updated
Nov 13, 2025 - Prolog
The Eldarica model checker
-
Updated
Nov 13, 2025 - Scala
Neural-symbolic dependency parser for Coptic texts
natural-language-processing prolog linguistics computational-linguistics universal-dependencies pos-tagging tokenization lemmatization ancient-languages coptic-studies coptic dependency-grammar coptic-language coptic-linguistics-dataset neural-symbolic-parsing
-
Updated
Nov 13, 2025 - Prolog
A compiler for a relational programming language for the BEAM written in OCaml
erlang nix functional-programming beam ocaml prolog compilers logic-programming relational-algebra warren-abstract-machine nix-flake
-
Updated
Nov 13, 2025 - OCaml
This small project demonstrates a Prolog-based expert system for travel recommendations in Sri Lanka.
-
Updated
Nov 12, 2025 - Python
The intelligent travel planner uses an Experta-based expert system to recommend optimal routes through Sri Lanka based on your preferences.
-
Updated
Nov 12, 2025 - Python
An experimental package manager for Scryer Prolog
-
Updated
Nov 12, 2025 - Prolog
A Kotlin Multi-Platform ecosystem for symbolic AI
javascript kotlin java js jvm prolog symbolic logic-programming tuprolog kotlin-multiplatform kotlin-multi-platform 2p simbolic-ai
-
Updated
Nov 11, 2025 - Kotlin
Automate building and maintaining custom operating systems using declarative reasoning.
-
Updated
Nov 11, 2025 - Prolog
Índice de repositorios.
-
Updated
Nov 11, 2025 - HTML
Complete, Correct and Infinite Meta-Circular Prolog metainterpreter that cuts and executes all builtins as desired. This research was developed by my professor José de Siqueira and I at UFMG. Under Publication Process at Theory and Practice of Logic Programming, Cambridge University Press.
-
Updated
Nov 11, 2025 - Prolog
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."