Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with prolog-programming-language

A curated list of projects in awesome lists tagged with prolog-programming-language .

https://github.com/trealla-prolog/trealla

A compact, efficient Prolog interpreter written in plain-old C.

c iso-prolog-standard prolog prolog-implementation prolog-interpreter prolog-programming-language

Last synced: 14 May 2025

https://github.com/ciao-lang/ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine

Last synced: 29 Oct 2025

https://github.com/raydac/jprol

Yet another Java based Prolog engine

engine gui-editor java prolog prolog-engine prolog-programming-language

Last synced: 13 Apr 2025

https://github.com/vanhakobyan/swi-prolog

SWI-Prolog Logical Programming Languages

logical-programming prolog prolog-programming-language swi-prolog

Last synced: 27 Oct 2025

https://github.com/raydac/java-prolog-parser

Java based Edinburgh Prolog parser

java parser prolog-programming-language

Last synced: 06 Oct 2025

https://github.com/harshjuly12/swi-prolog

This is a prolog repository contains logic-based code for symbolic reasoning, AI algorithms, and other rule-based applications.

prolog prolog-exercises prolog-implementation prolog-programming-language

Last synced: 01 Mar 2025

https://github.com/d-plaindoux/apacen

Constraint logic programming language

constraints prolog-programming-language solver

Last synced: 11 Jun 2025

https://github.com/joao-conde/feup-plog

Repository to host the Logic Programming classe exercises and projects, a third year course @FEUP

logic-programming prolog prolog-programming-language

Last synced: 02 Mar 2025

https://github.com/baxi19/grafos-prolog

Practica, Lenguajes de Programación

prolog-programming-language

Last synced: 13 Sep 2025

https://github.com/johnfromspace/prolog

Prolog is a logic programming language associated with artificial intelligence and computational linguistics.

logic logic-programming prolog prolog-application prolog-exercises prolog-programming-language prolog-rules

Last synced: 17 Jun 2025

https://github.com/apostolouagge/Prolog

Some Prolog Assignments

prolog-programming-language

Last synced: 21 Sep 2025

https://github.com/smoeding/prolog-wordle

Solve wordle puzzles using Prolog

game prolog prolog-programming-language wordle

Last synced: 31 Jul 2025

https://github.com/baxi19/lab-3-lenguajes

Lab de Lenguajes en Prolog

prolog-programming-language

Last synced: 03 Mar 2025

https://github.com/dcavar/prolog-tutorial

This is a basic Prolog tutorial repo for the dicussion group at IU

prolog prolog-programming-language

Last synced: 30 Jun 2025

https://github.com/angeligareta/battleship

Implementation of the infamous game Sink The Float in Prolog. Played against the machine but the board is only visible for it.

prolog prolog-programming-language sink-the-float

Last synced: 16 Mar 2025

https://github.com/danilo019/paradigma-l-gico-e-programa-o-em-prolog

Este repositório contém um projeto acadêmico desenvolvido para a disciplina de Paradigmas de Programação do curso de Ciências da Computação. O objetivo do projeto é explorar o paradigma lógico de programação, utilizando a linguagem Prolog para resolver problemas de lógica e modelagem de conhecimento.

bootstrap5 css hanoi-puzzle html-css-javascript javascript prolog prolog-implementation prolog-programming-language

Last synced: 24 Apr 2025

https://github.com/apostolouagge/prolog

Some Prolog Assignments

prolog-programming-language

Last synced: 27 Oct 2025

https://github.com/joaovitorlobo/star-battle-solver

Star Battle Solver in Prolog capable of solving 100% of puzzles. Application of Prolog logic with implications and assertion.

prolog prolog-programming-language

Last synced: 30 Oct 2025

https://github.com/azrdev/prolog-jetbrains-plugin

WIP Jetbrains IDE (Intellij IDEA, PyStorm, CLion, ...) support for the Prolog language

intellij intellij-plugin jetbrains-ides jetbrains-plugin prolog prolog-programming-language

Last synced: 09 Oct 2025

https://github.com/shawonbarman/prolog-code-with-two-projects

some basic prolog code with simple two projects

prolog prolog-programming-language

Last synced: 19 Mar 2025

https://github.com/eduardotorresalamo/homeworks-practice

This repository is a compilation of educational tasks and exercises. Each directory contains specific tasks or projects, including code, resources, and documentation. These exercises are designed to enhance understanding of core concepts in programming and software development.

fsharp golang prolog-programming-language

Last synced: 07 Apr 2025

https://github.com/parthasarathy27/ai_prolog_laboratory

In prolog, We declare some facts. These facts constitute the Knowledge Base of the system. We can query against the Knowledge Base. We get output as affirmative if our query is already in the knowledge Base or it is implied by Knowledge Base, otherwise we get output as negative.

ai ai-lab ai-laboratory laboratory laboratory-exercises prolog prolog-programming-language

Last synced: 12 Mar 2025

https://github.com/bpdesilva/inferenceproblem

Inferencing solution for a knowledge base system using prolog.

inference-engine prolog prolog-programming-language

Last synced: 31 Mar 2025

https://github.com/sreecharanv/prolog-based-graph-traversal-bfs-implementation

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.

bfs-algorithm bfs-search graphtraversal prolog prolog-programming-language

Last synced: 23 Mar 2025

https://github.com/naeemrashid/haskell

Basics of haskell and Prolog with examples

haskell haskell-learning prolog prolog-programming-language

Last synced: 02 Mar 2025

https://github.com/programmergnome/prolog

[Hu] Logikai feladványok megoldása prolog nyelven.

prolog prolog-exercises prolog-programming-language

Last synced: 20 Jun 2025

https://github.com/rayniel95/proyecto-agentes

Project of Simulation and Declarative Programming courses in collaboration with @lemartinez2245. An interesting thing in this project is the creation of generics predicates and inheritance simulation in prolog language.

bfs-algorithm prolog-programming-language school-project simulation university-coursework university-of-havana university-project

Last synced: 06 Mar 2025

https://github.com/iinjyi/triangles

3rd year logic programming task: Applying some basic mathematical theorems with prolog.

logic-programming prolog prolog-programming-language pythagorean-theorem triangle

Last synced: 20 Feb 2025

https://github.com/hafizhhasyhari/bahasa-programming-prolog-untuk-kecerdasan-buatan-kuno

Programming Prolog for Beginner and Artificial Intelligence / Kecerdasan Buatan. 2024. Indonesia

ai artificial-intelligence kecerdasan-buatan machine-learning prolog-programming-language

Last synced: 27 Oct 2025

https://github.com/mateuschaves/lpa-ii

Códigos da disciplina de Lógica de programação e algoritmos II do curso de sistemas de informação na Universidade de Pernambuco, Caruaru.

logic prolog prolog-programming-language

Last synced: 11 Mar 2025

https://github.com/rugleb/prolog

Examples of programs written in Prolog language

prolog prolog-programming-language swipl

Last synced: 24 Jun 2025

https://github.com/muneeb706/prolog-programs

Solutions of Logic in Computer Science problems in Proloh.

logic-in-computer-science logic-programming prolog-programming-language

Last synced: 26 Mar 2025

https://github.com/ashamethedestroyer/family-tree

Making my very first programme in Prolog language.

family-tree prolog prolog-programming-language

Last synced: 09 Aug 2025

https://github.com/ronierisonmaciel/logica-prolog

Este repositório apresenta um caminho prático e teórico para aprender Lógica de Programação usando a linguagem Prolog. A proposta é desenvolver raciocínio lógico estruturado e, ao mesmo tempo.

prolog prolog-implementation prolog-programming-language

Last synced: 11 Aug 2025

https://github.com/avastroficial/direcion-de-punto-mas-corto-con-prolog

Es una herramienta para poder interactuar con números de mayor a menor cual es la distancia de un punto mas corta dando el resultado

bsz prolog prolog-programming-language

Last synced: 13 Aug 2025