prolog-programming-language | Topic

Topic: "prolog-programming-language"

mthom/scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language: Rust - Size: 9.37 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 2,245 - Forks: 151

tau-prolog/tau-prolog

An open source Prolog interpreter in JavaScript

Language: JavaScript - Size: 1.86 MB - Last synced at: 26 days ago - Pushed at: over 2 years ago - Stars: 608 - Forks: 56

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.

Language: Prolog - Size: 15.1 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 304 - Forks: 23

trealla-prolog/trealla

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

Language: C - Size: 5.33 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 297 - Forks: 21

toblotron/praxis-ide

An online IDE for visual programming in Prolog

Language: JavaScript - Size: 1.87 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 240 - Forks: 10

logicmoo/wam_common_lisp

Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

Language: Common Lisp - Size: 50.5 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 96 - Forks: 8

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: about 6 years ago - Stars: 65 - Forks: 13

logicmoo/logicmoo_workspace

https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/

Size: 1.88 GB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 43 - Forks: 8

raydac/jprol

Yet another Java based Prolog engine

Language: Java - Size: 7.08 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 30 - Forks: 4

nicoladileo/NephroDoctor

NephroDoctor: A simple Medical Expert System written in Prolog

Language: Prolog - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 27 - Forks: 2

AppliedLogicSystems/ALSProlog

ALS Prolog Compiler & Development Environment

Language: C - Size: 29.3 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 16 - Forks: 9

VanHakobyan/SWI-Prolog

SWI-Prolog Logical Programming Languages

Language: Prolog - Size: 14.1 MB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 16 - Forks: 2

logicmoo/CYC_JRTL_with_CommonLisp

Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)

Language: Java - Size: 698 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 15 - Forks: 1

RadostinaIvanova/Expert-system-in-Prolog

Expert system in Prolog for diagnosis of mental disorders.

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

tectijuana/logifun.archived

(ARCHIVED) Programacion Lógica y funcional

Language: Prolog - Size: 5.4 MB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 12 - Forks: 3

raydac/java-prolog-parser

Java based Edinburgh Prolog parser

Language: Prolog - Size: 1.65 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 11 - Forks: 2

HouariZegai/PrologExercise

Prolog Examples with Solutions

Language: Prolog - Size: 2.93 KB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 11 - Forks: 1

harshjuly12/SWI-Prolog

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

Language: Prolog - Size: 15.6 KB - Last synced at: 4 months ago - Pushed at: 9 months ago - Stars: 9 - Forks: 3

brilacasck/wumpus-prolog

Wumpus Implementation in Prolog Language

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

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

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

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

Cuttlerat/prolog_bot

Simple Telegram bot in PROLOG

Language: Prolog - Size: 49.8 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

Denellyne/LogicaLine

Logica Line - Prolog based chat server

Language: Prolog - Size: 124 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 4 - 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: 11 months ago - Pushed at: 11 months ago - Stars: 4 - Forks: 1

GithubRealFan/SimplePrologProjecs

Language: Prolog - Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 4 - 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

VladimirWrites/PrologSamples

Collection of solutions of some simple problems written in Prolog

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

zakonweb/declarative-prolog-code-A2

PROLOG Codes for A2

Language: Prolog - Size: 3.06 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

crgz/abbreviated_dates

Clarify abbreviated, ambiguous and incomplete dates meanings according to cultural contexts.

Language: Prolog - Size: 4.81 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 3 - 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

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: almost 4 years ago - Stars: 3 - 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: about 5 years ago - Stars: 3 - Forks: 6

d-plaindoux/apacen

Constraint logic programming language

Language: Kotlin - Size: 146 KB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 2 - Forks: 0

Maxmuthee/Family-tree-Prolog

This repository encompasses the builds that are mainly concerned with Family tress for people to be able to find their backgrounds and Hereditary roots

Language: Prolog - Size: 4.88 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 1

lifaet/Prolog-Binary

Prolog for AI Coding in DOSBox

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

Vikranth3140/Music-Playlist

The Prolog program allows users to create and manage custom playlists. Each playlist can contain multiple songs, with each song having a title and an artist.

Language: Prolog - Size: 3.91 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1

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: over 4 years ago - Stars: 2 - Forks: 0

Ye11ow-Flash/Prolog-Code

Basic implementation in prolog

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

lohhans/MinesweeperProlog

Campo Minado feito em Prolog para a disciplina de PLP

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

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

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

memelang-net/memesql5

Memelang is a concise query language for structured data querying.

Language: Python - Size: 88.9 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

Anidipta/Prolog

College 4th Sem Lab Stuffs

Language: Prolog - Size: 238 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 1

matteoredaelli/dmcommunity-challenges

My solutions for challenges from https://dmcommunity.org/challenge/

Language: Prolog - Size: 23.4 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

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.

Language: SCSS - Size: 10.7 MB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 7

jElhamm/100-Projects-for-Prolog

"The repository '100 Mini Projects for Prolog' includes small projects for learning and practicing Prolog."

Language: Prolog - Size: 5.98 MB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 1

joao-conde/feup-plog

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

Language: Prolog - Size: 2.54 MB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

smoeding/prolog-wordle

Solve wordle puzzles using Prolog

Language: Prolog - Size: 53.7 KB - Last synced at: 11 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

apostolouagge/Prolog

Some Prolog Assignments

Language: Prolog - Size: 574 KB - Last synced at: 22 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

sazzledazzle/prolog-runner

A VSCode extension to run prolog files like a script.

Language: TypeScript - Size: 590 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

aarroyoc/teletext

TUI library

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

itsareej23/Artificial-intelligence-course-project

AI course project of implementing a personlized multimedia recommendation system using Prolog programming language.

Size: 1.38 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

JohnFromSpace/Prolog

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

Language: Prolog - Size: 305 KB - Last synced at: 16 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

MaksymAndreiev/LogicProgrammingCourse

A workshop on the course "Artificial Intelligence Systems" at V. N. Karazin Kharkiv National University.

Language: Prolog - Size: 71.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Ovalelephant35/Prolog-Logic-CS

🦾. "Explore the world of Prolog and logic programming in computer science with code examples, tutorials, and resources in this comprehensive repository."

Language: Prolog - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

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

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

LoicKonan/Adv-Programming-Lang-Concepts

Advance Programing Language Concepts

Language: C# - Size: 1010 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - 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

yangeorget/clpFD

A clp system in Prolog developed during a CS course at Ecole Polytechnique

Language: Prolog - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - 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

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

mikeroyal/Prolog-Guide

Prolog Guide

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

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

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

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: 5 months ago - Pushed at: about 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: about 1 month ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

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

CesarBallardini/programacion-prolog

Language: Prolog - Size: 478 KB - Last synced at: over 2 years ago - Pushed at: over 4 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

Baxi19/Lab-3-lenguajes

Lab de Lenguajes en Prolog

Language: Prolog - Size: 1.95 KB - Last synced at: 4 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: 4 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

mahmoudjobeel1/E-Tourism-Recommendation-System

this is a program that recommends offers for customers based on a given database and decides which offer is suitable for them

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

MoamenShoman/RecommendationSystem-Prolog

A recommendation tourism system implemented by prolog

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

dcavar/prolog-tutorial

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

Size: 12.7 KB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 1 - 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

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

MRLSK8/LPA2_Prolog

Exercícios resolvidos em prolog para a disciplina "LPA 2".

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

velastroll/Prolog

🧠 Prolog exercises.

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

Panda-Lewandowski/Logic-languages

🎓BMSTU Functional and Logic languages course (2018)

Language: Prolog - Size: 30.3 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 2

blackburn3333/DayWork

DayWork is simple Day manage application that designed for get simple idea about PROLOG.

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

holylovenia/gone

A classic text-based adventure game with a not-so-classic story.

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

HosamDyab/logic-based-travel-planner-prolog

A logic-based travel planning system built with Prolog for the Logic Programming.

Language: Prolog - Size: 17.5 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

JoaoVitorLobo/Star-Battle-Solver

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

Language: Prolog - Size: 12.7 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

engr-sakil/Prolog-Project

The goal of this project is to create an English-to-Bangla character translator using Prolog. The project addresses the practical problem of transliterating English (phonetic) text into Bangla characters based on the Avro phonetic keyboard layout. This system is intended to help users write Bangla text using English letters as input.

Language: Prolog - Size: 304 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

uprun/egalite-ai

local chat-like reasoning with Prolog

Language: HTML - Size: 24.4 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

isabelleysseric/Systeme-Base-Connaissances

Système intelligent à Base de Connaissances

Language: Prolog - Size: 6.53 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

joannamagdalena/medical-diagnosis-assistant

Language: Prolog - Size: 3.91 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

s-voelkl/Pedigree-Collapse-in-Prolog

Pedigree collapse (incest) evaluation using the coefficient of imbreeding (COI) in Prolog

Language: Prolog - Size: 33.2 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

Nata-Practices/Prolog

Simple bullshit on Prolog

Language: Prolog - Size: 1000 Bytes - Last synced at: 6 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

MohamedAymanHosny/Quiz_Online

Combined Quiz System in Prolog is an interactive program featuring: 1- Multiple-Choice Questions (MCQs). 2- True/False Questions. 3- Score Tracking. 4- Input Validation.

Language: Prolog - Size: 5.86 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

gpontnau/paradigmasProgramacion_funcional-logico-objetos

Programación Funcional con Haskell Programación Lógica con Prolog Programación con Objetos con Wollok

Language: Wollok - Size: 2.16 MB - Last synced at: 4 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

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.

Language: Go - Size: 34.2 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0