GitHub topics: prolog-programming-language

Repositories

cwmiles/College-Lvl-Prolog-Haskell

This is a mix of Prolog and Haskell from college

Language: Prolog - Size: 1.16 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

xDido/Pro-Wordle

A simple clone of Wordle implemented in Prolog.

Language: Prolog - Size: 383 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Mohammed-ALmasry/Hitori

Hitori solver program in c++ and prolog

Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

HouariZegai/PrologExercise

Prolog Examples with Solutions

Language: Prolog - Size: 2.93 KB - Last synced at: 21 days ago - Pushed at: almost 7 years ago - Stars: 11 - Forks: 1

brilacasck/wumpus-prolog

Wumpus Implementation in Prolog Language

Language: Prolog - Size: 2.07 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 9 - Forks: 2

ProgrammerGnome/Prolog

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

Language: Prolog - Size: 18.6 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

nadamaged22/Dominoes-Puzzle

Domminos Game using prolog langauage ,and uniformed,informed search techniques

Language: Prolog - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

RadostinaIvanova/Expert-system-in-Prolog

Expert system in Prolog for diagnosis of mental disorders.

Language: Prolog - Size: 146 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 6

Harikesh16/Programming-Languages

This repository contains some tasks done by me in COL226 (programming language) course using various languages.

Language: Standard ML - Size: 647 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

LoicKonan/Adv-Programming-Lang-Concepts

Advance Programing Language Concepts

Language: C# - Size: 1010 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

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.

Language: Prolog - Size: 274 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1

matheusvictor/prolog-mata56-2023-1

Exercícios de PROLOG para praticar o paragdima lógico.

Language: Prolog - Size: 319 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 4

Lukas0025/BUT_FIT_FLP_TURING_MACHINE

Implementation of nondeterministic turing machine with Prolog

Language: Prolog - Size: 495 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

MayankJasoria/Firewall-Simulation

This is a simulation of a network firewall developed using Prolog.

Language: Prolog - Size: 60.5 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

R-White-0/Medical-Expert-System

A medical expert system for COVID-19 and other medical complications.

Language: Prolog - Size: 23.4 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 4

AimiliosKourpas/logic-programming

Coursework in Logical Programming class,

Language: Prolog - Size: 837 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

GithubRealFan/SimplePrologProjecs

Language: Prolog - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

bennaaym/adventure-game-prolog

This project is a basic text-based adventure game. The idea of the game was inspired by Colossal Cave Adventure.

Language: Prolog - Size: 1.15 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 2

armixz/AI-Knowledge-Representation

Knowledge Representation paradigm to create a simple question-answering tool.

Language: Prolog - Size: 116 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

marcoswitcel/99-prolog-problems

Repositório com soluções em Prolog para o conjunto de problemas conhecidos como "P-99: Ninety-Nine Prolog Problems"

Language: Prolog - Size: 22.5 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

tau-prolog/draw-derivation-trees

A tool for drawing derivation trees of Tau Prolog

Language: JavaScript - Size: 62.5 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 2

cwelt/Prolog-Othello-Game

Othello Game Application Implemented with Alpha-Beta Algorithm in SWI-Prolog's Logic Programming Language :chess_pawn:

Language: Prolog - Size: 2.45 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 6

DimaOanaTeodora/Prolog-classes

FLP labs (FMI UB students)

Language: Prolog - Size: 896 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

MuhammadS25/Prolog-Helper

Implemanted Prolog algorithms

Language: Prolog - Size: 23.4 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

eazar001/bfg-prolog

Implementation of Prolog

Language: Rust - Size: 168 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 0

afonsojramos/feup-plog 📦

Projects and class exercises for the Logic Programming course @ FEUP in collaboration with @joao-conde

Language: Prolog - Size: 2.54 MB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

neelkshah/Prolog-assignment

Poetry Detection and Generation using Logic Programming in Prolog

Language: Prolog - Size: 105 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

rachelwiles/GoT-Check

:crossed_swords: Game of Thrones character database and family trees in Prolog

Language: Prolog - Size: 37.1 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 65 - Forks: 13

Freddy-94/Mexico_City_Subway

Implementation of Dijkstra's algorithm for Mexico's city subway (Symbolic AI insight with Prolog)

Language: Prolog - Size: 211 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Reece-Reklai/burning_house

Text Adventure Game - Users can check their current health status and the environment surrounding their character. Users can use objects to increase their health, open locked doors, and discover new locations within the house.

Language: Prolog - Size: 4.88 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

hendsaeedd/check-animals

Code for ProLog Program to find animals leaving in water and land in Artificial Intelligence.

Language: Prolog - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

iRaneem/AI-fundmental-CCAI221

This is my work at 2021/2022 include : lab , assignment and project solutions

Language: Prolog - Size: 8.53 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

IinjyI/Triangles

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

Language: Prolog - Size: 146 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

dcavar/prolog-tutorial

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

Size: 12.7 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

idhant96/Trace-Compiler

End to end compiler design project.

Language: Prolog - Size: 3.32 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

gakowalski/prolog-md5

Experimental implementation of a limited MD5 algorithm in the Prolog programming language

Language: Prolog - Size: 73.2 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 1

mmedhat1910/CPU-Cache-Prolog

CPU Cache simulation using logic programming in prolog

Language: Prolog - Size: 18.6 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

ADVAIT135/Artificial-Intelligence-ELL703_TW

This Repository consists of all programming tasks given as a Term Work for Artificial Intelligence ELL703 in BE Electronics R-19 C- Scheme Syllabus.

Language: Jupyter Notebook - Size: 1.09 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

nhathuy13598/Prolog

Đồ án 2 - Cơ sở trí tuệ nhân tạo

Language: Prolog - Size: 7.33 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

zakolm/Functional_and_Logical_programming

🎓 Функциональное и Логическое программирование на Lisp и Prolog, 6 семестр, BMSTU, IU7(2019)

Language: TeX - Size: 4.73 MB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

harjeet-blue/Career-advisory_system

This is career advisory system , coded in prolog

Language: Prolog - Size: 101 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

RobelTadele/Projects

Prolog Murder Mystery + Genealogy finder

Language: Prolog - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

antreasvez/Programming-Languages

🖥️ NTUA ECE Programming Languages Course Codes

Language: Standard ML - Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

PythonUser-ux/Vox-Codei

Me and another student at Unibo developed a solution entirely written in Prolog to the game proposed in the following website: https://www.codingame.com/training/hard/vox-codei-episode-1. The report.pdf stands in for the README file.

Language: Prolog - Size: 112 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

madalinazanficu/Ultimate-Tic-Tac-Toe

Programming Paradigms Course. Using the backtracking mechanism of the language to develop winning strategies for Ultimate Tic-Tac-Toe game

Language: Prolog - Size: 56.6 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

medaimane/prolog-expert-system-example

Expert system using prolog

Language: Prolog - Size: 18.6 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 1

ok-kewei/Prolog---London-Underground

Prolog Assignment : London Underground

Size: 806 KB - Last synced at: 6 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

ngangavic/swi-prolog

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. Logic programming is a programming paradigm based on mathematical logic. In this paradigm the programmer specifies relationships among data values (this constitutes a logic program) and then poses queries to the execution environment (usually an interactive interpreter) in order to see whether certain relationships hold. Putting this in another way, a logic program, through explicit facts and rules, defines a base of knowledge from which implicit knowledge can be extracted. Prolog and LISP two most popular Logic Programming languages.

Language: Prolog - Size: 3.91 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

nikopetr/Trip-Advisor

Program in Prolog which advises someone who wants to travel by plane between two cities on a specific day

Language: Raku - Size: 70.3 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

ShawonBarman/prolog-code-with-two-projects

some basic prolog code with simple two projects

Language: Prolog - Size: 3.28 MB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Baxi19/Lab-3-lenguajes

Lab de Lenguajes en Prolog

Language: Prolog - Size: 1.95 KB - Last synced at: 6 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

Baxi19/grafos-prolog

Practica, Lenguajes de Programación

Language: Prolog - Size: 1.95 KB - Last synced at: 6 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

davidcamperom/Expert-System Fork of byLiTTo/RC-SistemaExperto

Knowledge Representation Theoretical/Practical Project

Size: 8.22 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

tau-prolog/sandbox

An online Tau Prolog sandbox

Language: PHP - Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 2

felipefrm/predicate-logic

🧮 Trabalho Pratico - Logica Aplicado a Computação

Language: Prolog - Size: 33.2 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

mikeroyal/Prolog-Guide

Prolog Guide

Language: Prolog - Size: 3.91 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

dg1an3/ALGT

An expert system using SWI Prolog that can be used to verify imaging algorithms

Language: Prolog - Size: 81.1 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 1

gianm99/horarios

Práctica de Lenguajes de Programación (2019-2020)

Language: Prolog - Size: 17.6 KB - Last synced at: 6 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

jurajtrappl/P-99

Logic programming practicing via famous Ninety-Nine Prolog Problems.

Language: Prolog - Size: 11.7 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

Qvapil/Programming-Languages-I-2021

Algorithmic and search-space problems in multiple programming languages.

Language: Standard ML - Size: 1.72 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

jerimkaura/sacco-managemnt

This is a repository for a Sacco management system written and implemented in prolog and CSV.

Language: Prolog - Size: 8.79 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

catlettra/RE2NFA-Prolog Fork of Mooyeee/RE2NFA-Prolog

A Regular Expression to NFA Automata translator implemented in Prolog; done for the Programming Languages course [University of Milano-Bicocca]

Size: 0 Bytes - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

renatacavalheiro/prolog

Prolog programs, mostly in Portuguese.

Language: Prolog - Size: 71.3 KB - Last synced at: 28 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

rashedabir/prolog_source

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

Language: Prolog - Size: 4.88 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

mikaelgba/prolog_study

Repository of programs in prolog of an academic discipline.

Language: Prolog - Size: 1000 Bytes - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

PhilToolan/Search-Algorithms

Assignment completed as part of Computer Science in TU Dublin

Language: Prolog - Size: 302 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

emersondtsci/Prolog

Some questions about Prolog

Language: Prolog - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

mohamedamr13/E_Tourism-Recommendation-System

A System built using SWI Prolog that uses pattern matching to match the best possible vacation offer for the user based on his or her preferences in the database.

Language: Prolog - Size: 11.7 KB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

angeligareta/battleship

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

Language: Prolog - Size: 10.1 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

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.

Language: Prolog - Size: 71.3 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

adey99/prolog-repo

Repository for prolog programs done for AI course

Language: Prolog - Size: 284 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

pkoerner/maplist-expander

Improve the performance of Prolog programs using maplist with one simple trick!

Language: Prolog - Size: 14.6 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

SamuelRoufael/The-Helsinki-Puzzle

A puzzle solver algorithm created using Prolog, a logical programming language, to generate and solve a puzzle similar to the sudoku puzzle.

Language: Prolog - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

olivialara/Programming-Paradigms

A collection of my work from my Programming Paradigms course. This course goes over three major programming models that complement the procedural and object-oriented models: the functional, declarative/logic, and concurrent models. The code for this course was written in Scheme, Prolog, and Java.

Size: 199 KB - Last synced at: 8 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0