GitHub topics: prolog-programming-language

Repositories

lifaet/Prolog-Binary

Prolog for AI Coding in DOSBox

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

trealla-prolog/trealla

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

Language: C - Size: 4.95 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 295 - Forks: 21

mthom/scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language: Rust - Size: 9.34 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2,206 - Forks: 146

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: 15 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0

raydac/jprol

Yet another Java based Prolog engine

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

AppliedLogicSystems/ALSProlog

ALS Prolog Compiler & Development Environment

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

tau-prolog/tau-prolog

An open source Prolog interpreter in JavaScript

Language: JavaScript - Size: 1.86 MB - Last synced at: 22 days ago - Pushed at: over 2 years ago - Stars: 601 - Forks: 55

zakonweb/declarative-prolog-code-A2

PROLOG Codes for A2

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

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: 13 MB - Last synced at: 29 days ago - Pushed at: 6 months ago - Stars: 301 - Forks: 23

Anidipta/Prolog

College 4th Sem Lab Stuffs

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

toblotron/praxis-ide

An online IDE for visual programming in Prolog

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

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: about 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

matteoredaelli/dmcommunity-challenges

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

Language: Prolog - Size: 23.4 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 1 - 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: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

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: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

uprun/egalite-ai

local chat-like reasoning with Prolog

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

VanHakobyan/SWI-Prolog

SWI-Prolog Logical Programming Languages

Language: Prolog - Size: 14.1 MB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 16 - Forks: 2

raydac/java-prolog-parser

Java based Edinburgh Prolog parser

Language: Prolog - Size: 1.64 MB - Last synced at: 18 days ago - Pushed at: 4 months ago - Stars: 8 - Forks: 2

tectijuana/logifun.archived

(ARCHIVED) Programacion Lógica y funcional

Language: Prolog - Size: 5.4 MB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 12 - Forks: 3

isabelleysseric/Systeme-Base-Connaissances

Système intelligent à Base de Connaissances

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

joannamagdalena/medical-diagnosis-assistant

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

hafizhhasyhari/Bahasa-Programming-Prolog-untuk-Kecerdasan-Buatan-Kuno

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

Language: Jupyter Notebook - Size: 21.5 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - 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: 17 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 7

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: 2 months ago - Pushed at: 7 months ago - Stars: 9 - Forks: 3

JohnFromSpace/Prolog

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

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

smoeding/prolog-wordle

Solve wordle puzzles using Prolog

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

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: about 1 month ago - Pushed at: 10 months ago - Stars: 1 - Forks: 1

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

Language: Prolog - Size: 5.86 KB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 0 - 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: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

stasinosntaveas/programming-languages-1-ntua

3 Series of Exercises for Programming Languages Class (6th Semester) of the Electrical and Computer Engineering School, NTUA

Language: Standard ML - Size: 935 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

henriquegaia/prolog-property-visitor-scheduler-pt

College assignment.

Language: Prolog - Size: 924 KB - Last synced at: 10 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

joao-tinelli/corleone-family-tree

Family tree of the Corleone family from the famous "The Godfather" series in Prolog.

Language: Prolog - Size: 9.77 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

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: 6 days ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

wrt95/Prolog-Coursework

Size: 21.5 KB - Last synced at: 11 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

apostolouagge/Prolog

Some Prolog Assignments

Language: Prolog - Size: 574 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

yago-san-fdz/quienesquien_yago

Repositorio para la práctica del juego ¿Quién es Quién? usando Prolog SWI

Language: Prolog - Size: 135 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

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.

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

vojone/FLP2

The second project to FLP course focused on logical programming in Prolog.

Language: Prolog - Size: 67.4 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

AbdelrhmanReda17/Customer-Order-Management-System

This Prolog code implements a customer order management system using Prolog predicates.

Language: Perl - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

franciscofpereira/Uni-Classrooms-Database

Uni-Classrooms-Database is a query-based program designed to manage and retrieve diverse information pertaining to classrooms within a university campus. Logic for Programming class project.

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

dfleta/prolog-for-IA

Language: Jupyter Notebook - Size: 1.04 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

APEX-JHOSEF-CARDICH-PALMA/Prolog

Este repositorio contiene uno (o varios) ejemplos de programación en PROLOG desarrollados en la asignatura del mismo nombre en ETSIINF UPM.

Language: Prolog - Size: 5.86 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

ABaronCode/Learning_Prolog

Using online resources to learn basics in Prolog and applying them

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

leonardo8787/chat_bot_music_recommendation_prolog

Chat for music recommendation with prolog language.

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

TazelHossan/Artificial-Intelligence

Some Artificial Intelligence Programs which are written in Prolog as well as in Python.

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

RafaelEmery/senhor-dos-aneis-prolog

Trabalho final da disciplina de Lógica para computação II do curso de Ciência da Computação da UFES - Campus São Mateus. O trabalho é feito na linguagem Prolog e consiste em desenvolver/descrever através de conceitos de Lógica o universo no qual se passa o filme "Senhor dos Anéis".

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

nlintas/AI-Using-NLP-Tests

These are a series of tests that were made using a Natural Language Processing (NLP) type of programming language.

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

nlintas/Prolognite-Singleplayer-Game-in-Prolog-with-AI

Prolognite is a single-player strategy digital board game with AI written in the Prolog NLP programming language.

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

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

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: over 1 year ago - Stars: 43 - Forks: 8

dhmodh/Sem-7

SEM 7

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

logicmoo/CYC_JRTL_with_CommonLisp

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

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

leticiabalbi/AI

Códigos da matéria de Inteligência Artificial-UFAM.

Language: Jupyter Notebook - Size: 16.6 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

mishi-a/AI-Lab-Assignment

This repo contains all the Assignment given in CS571 course.

Language: Python - Size: 15.7 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 2

scienceMiner/MSc_ExtendingLogicProgramming

MSc Project on Extending Logic Programming, Dept. of Computing, Imperial College

Size: 511 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - 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: about 1 year ago - Stars: 1 - Forks: 0

vagman/logic-programming

University assignment in Logical Programming class, 5th semester

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

aarroyoc/teletext

TUI library

Language: Prolog - Size: 56.6 KB - Last synced at: about 1 year ago - Pushed at: about 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: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

baddiejay/JoinMEet

Prolog project for online dating

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

baddiejay/Prolog-exercises

Small exercises in Prolog

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

SofiaKyriakiMachaira/LogicProgramming

Class assignments using Prolog.

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

baftjarjusufi/HANGMAN

Hangman is a guessing game in HASKELL for two or more players. One player thinks of a word, phrase or sentence and the other tries to guess it by suggesting letters within a certain number of guesses. I also made this a little more special by adding only Albanian name cities.

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

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: about 1 year ago - Pushed at: over 3 years ago - Stars: 96 - Forks: 8

kimnamlhn/AI-Logic

Language: Python - Size: 2.31 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - 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

gautamop01/CS300-Programming-Language-Paradigms

Haskell and Java Programming Language Course

Language: Haskell - Size: 13.6 MB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

avulaankith/swi-prolog

Some swi prolog files

Language: Prolog - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - 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

abdulmlik/simple-Prolog-Examples 📦

A simple program written in Prolog

Language: Prolog - Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 2

AyatoShirayouki/Intelligent_Systems

Homeworks and Projects for my Intelligent Systems course at Plovdiv University Paisii Hilendarksi

Language: Prolog - Size: 1.64 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

AshameTheDestroyer/Family-Tree

Making my very first programme in Prolog language.

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

mateuscacabuenaPUCRS/LinguagensDeProgramacao

Disciplina que apresenta a introdução aos processos de compilação e interpretação. Apresentação de conceitos de análise léxica, sintaxe e de semântica de linguagens, incluindo: amarração, tipos de dados, avaliação de expressões, passagem de parâmetros.

Language: Java - Size: 4.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0