Prolog-to-Bash compiler for declarative automation, featuring BFS-optimized transitive closures and recursion support.
🤖 Explore 200 categorized AI Agent prompts for enhancing LLM interactions. Easily customize your AI's behavior with clear system instructions.
🎶 Explore Prolog coding with Vibe Prolog, a simple interpreter designed to run queries and demonstrate logic in programming efficiently.
🧩 Simplify your Prolog queries with qh2, a lightweight tool for enhancing query handling and improving logic programming efficiency.
🚀 Develop efficient Prolog solutions with prolog-0vw, a lightweight framework that simplifies logic programming for rapid application development.
🤖 Generate Prolog predicates using LLMs that embed reasoning justifications, bridging neural and symbolic AI for improved logical coherence.
🧠 Explore Prolog with sb0, a streamlined environment for developing logic-based applications and enhancing your programming skills.
🧠 Enhance logic programming with Prolog-KNE, a toolkit for knowledge extraction and natural language understanding in Prolog environments.
🧩 Implement object-oriented programming concepts in Prolog for cleaner, more efficient code organization and design.
Yet another Java based Prolog engine
A compact, efficient Prolog interpreter written in plain-old C.
A modern Prolog implementation written mostly in Rust.
Trealla Prolog for the web
Trealla Prolog embedded in Go using WASM
Logic-based static site generator in Prolog. Declarative site definitions with relational reasoning.
Logtalk - declarative object-oriented logic programming language
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."