GitHub topics: prolog

Repositories

Dr-Nekoma/karuta

A compiler for a statically-typed relational programming language written in OCaml

Language: OCaml - Size: 155 KB - Last synced at: 19 minutes ago - Pushed at: 28 minutes ago - Stars: 17 - Forks: 1

LogtalkDotOrg/logtalk3

Logtalk - declarative object-oriented logic programming language

Language: Prolog - Size: 1.03 GB - Last synced at: about 4 hours ago - Pushed at: about 6 hours ago - Stars: 468 - Forks: 34

gabe-rbo/Prolog-Meta-Interpreter

Complete, Correct and Infinite Meta-Circular Prolog metainterpreter that cuts and executes all builtins as desired. This research was developed by my professor José de Siqueira and I at UFMG. Under Publication Process at Theory and Practice of Logic Programming, Cambridge University Press.

Language: Prolog - Size: 82 KB - Last synced at: about 9 hours ago - Pushed at: about 9 hours ago - Stars: 1 - Forks: 0

uuverifiers/eldarica

The Eldarica model checker

Language: Scala - Size: 53.6 MB - Last synced at: about 8 hours ago - Pushed at: about 10 hours ago - Stars: 96 - Forks: 26

debarghamitraroy/CS1051

Solutions of the Advanced Computing Lab I (CS1051)

Language: Jupyter Notebook - Size: 32.5 MB - Last synced at: about 12 hours ago - Pushed at: about 14 hours ago - Stars: 0 - Forks: 0

ptarau/TypesAndProofs

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Language: Prolog - Size: 4.17 MB - Last synced at: about 13 hours ago - Pushed at: about 15 hours ago - Stars: 33 - Forks: 4

mwalz365/prolog-kne

🧠 Enhance logic programming with Prolog-KNE, a toolkit for knowledge extraction and natural language understanding in Prolog environments.

Size: 1.3 MB - Last synced at: about 14 hours ago - Pushed at: about 16 hours ago - Stars: 0 - Forks: 0

reddywhop/prolog-ooj

🧩 Implement object-oriented programming concepts in Prolog for cleaner, more efficient code organization and design.

Size: 1.29 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1 - Forks: 0

SWI-Prolog/swipl-devel

SWI-Prolog Main development repository

Language: C - Size: 99 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 1,136 - Forks: 202

jaalonso/jaalonso.github.io

Índice de repositorios.

Language: HTML - Size: 105 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2 - Forks: 0

AI-AVENGER-S/FuncLog_Programming_lab1

Here are the laboratory work in MAI on FuncLog in the Prolog language.

Language: Prolog - Size: 3.91 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

toblotron/Trafo

Tool for parsing and transforming text files, through grammar, logic, and functional stuff

Language: Java - Size: 151 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

trealla-prolog/trealla

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

Language: C - Size: 5.43 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 318 - Forks: 23

kevinnjagi44/prolog-sb0

🧠 Explore Prolog with sb0, a streamlined environment for developing logic-based applications and enhancing your programming skills.

Language: Python - Size: 1.34 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

mihaicristianfarcas/UBB-Projects

Projects and Homework done as a student at The Faculty of Mathematics and Computer Science, Babeș-Bolyai University.

Language: Jupyter Notebook - Size: 130 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

EvgSkv/logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Language: Jupyter Notebook - Size: 6.52 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 2,045 - Forks: 107

9re9o/RutasVialesCR

Aplicación educativa desarrollada en SWI-Prolog que permite consultar, analizar y visualizar la red vial de Costa Rica a partir de un archivo GeoJSON.

Language: Prolog - Size: 288 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

mayandev1/Prolog

Disciplina de Programação em Lógica

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

s243a/UnifyWeaver

Prolog-to-Bash compiler for declarative automation, featuring BFS-optimized transitive closures and recursion support.

Language: Prolog - Size: 542 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

Robert076/UBB-Computer-Science

The courses I took at UBB during my Bachelor's in Computer Science. A collection of my assignments, exams, projects, labs, lecture notes, and preparation materials for them, including extra work.

Language: Makefile - Size: 264 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 12 - Forks: 0

jaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

Size: 6.46 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 82 - Forks: 8

enzouteixeira1234/klopa115x

dart

Size: 0 Bytes - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 8 - Forks: 0

dudacaldi/klopa115x

dart

Size: 0 Bytes - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 8 - Forks: 0

tuProlog/2p-kt

A Kotlin Multi-Platform ecosystem for symbolic AI

Language: Kotlin - Size: 12.4 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 107 - Forks: 15

Silvestre17/SymbolicAI_ChatGPT_Prolog_FuzzyLogic

🧠 A collection of projects for the Symbolic AI course at ISCTE, covering Prolog logic programming, Fuzzy Logic systems, and a critical analysis of ChatGPT's role in Data Science.

Language: Prolog - Size: 7.08 MB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

echancrure/Sikraken

Sikraken: A Test Suites Generator for C Code

Language: C - Size: 43.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1 - Forks: 2

namin/clpset-miniKanren

CLP(Set) in miniKanren

Language: Scheme - Size: 55.7 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 24 - Forks: 4

mthom/scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language: Rust - Size: 10.2 MB - Last synced at: 10 days ago - Pushed at: 11 days ago - Stars: 2,295 - Forks: 155

kovvalsky/LangPro

Tableau-based Theorem Prover for Natural Logic and Language

Language: Prolog - Size: 26.4 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 119 - Forks: 13

luciangreen/luciancicd

Lucian CI/CD

Language: Prolog - Size: 5.29 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 3 - Forks: 0

pvdabeel/prolog

Automate building and maintaining custom operating systems using declarative reasoning.

Language: Prolog - Size: 196 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 4 - Forks: 3

smucclaw/l4-lp

Fully in-browser IDE and rule engine for L4 (a DSL for business rules), along with various language binding libraries

Language: Clojure - Size: 1.59 MB - Last synced at: 12 days ago - Pushed at: 13 days ago - Stars: 7 - Forks: 2

katkarsshweta/Artificial-Intelligence-Project_Diet-Planning-Expert-System

"dieT" is a knowledge-based expert system that provides personalized diet recommendations based on a user's health profile, dietary preferences, and lifestyle. It combines Prolog rule-based reasoning with a Python Flask web app and AI insights to generate tailored meal plans and nutritional guidance.

Language: C++ - Size: 18.5 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

kayceesrk/cs3100_m25

IITM Paradigms of Programming -- Monsoon 2025

Language: Jupyter Notebook - Size: 32.7 MB - Last synced at: 13 days ago - Pushed at: 14 days ago - Stars: 17 - Forks: 6

royratcliffe/canny_tudor

Technical spikes in Prolog from the North-East corner of England

Language: Prolog - Size: 3.92 MB - Last synced at: 13 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 1

o2alexanderfedin/neuro-symbolic-reasoning-llm-prolog

LLM-Generated Prolog Predicates with Embedded Justification Chains - Academic Research Paper (100+ pages, 97.5% correctness)

Language: Shell - Size: 205 KB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 1 - Forks: 0

fabasoad/setup-prolog-action

This GitHub action installs Prolog

Language: Shell - Size: 39.1 KB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 2 - Forks: 1

bakaq/bakage

An experimental package manager for Scryer Prolog

Language: Prolog - Size: 136 KB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 20 - Forks: 4

fnogatz/xsd2json

Translate XML Schema into equivalent JSON Schema

Language: Prolog - Size: 2.99 MB - Last synced at: 7 days ago - Pushed at: almost 3 years ago - Stars: 156 - Forks: 29

bakaq/qupak

Pattern matching for Prolog with library(reif).

Language: Prolog - Size: 5.86 KB - Last synced at: 13 days ago - Pushed at: 22 days ago - Stars: 5 - Forks: 0

vijayphoenix/IITH-BTECH-Courses

IITH BTECH CSE all Courses' Codes and Assignments

Language: Jupyter Notebook - Size: 80.5 MB - Last synced at: 2 days ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 6

matteoredaelli/ragno.pl

Ragno is a light crawler written in (swi) prolog

Language: Prolog - Size: 82 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0

bakaq/constrained.pl

Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.

Language: Prolog - Size: 58.6 KB - Last synced at: 13 days ago - Pushed at: 12 months ago - Stars: 11 - Forks: 4

seanpm2001/Learn-Prolog

A repository for showcasing my knowledge of the Prolog programming language, and continuing to learn the language.

Language: Prolog - Size: 519 KB - Last synced at: 21 days ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 2

glennstreet/awesome-philosophy-compsci

A list of resources that cross the disciplines of Computer Science and Philosophy

Size: 132 KB - Last synced at: 16 days ago - Pushed at: 8 months ago - Stars: 90 - Forks: 5

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.3 MB - Last synced at: 3 days ago - Pushed at: 4 months ago - Stars: 315 - Forks: 24

xieyuheng/logic-db

Embedding a Prolog-like logic programming language in JavasScript and TypeScript.

Language: TypeScript - Size: 550 KB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 17 - Forks: 1

dirkschumacher/logician

🖖 Prolog-style Logic Programming in pure R

Language: R - Size: 34.2 KB - Last synced at: 6 days ago - Pushed at: over 5 years ago - Stars: 38 - Forks: 0

complexdb/zincbase

A state of the art knowledge base

Language: Python - Size: 11.7 MB - Last synced at: 5 days ago - Pushed at: over 5 years ago - Stars: 168 - Forks: 15

wouterbeek/prolog_graphviz

A library for visualizing graphs in Prolog.

Language: Prolog - Size: 94.7 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 17 - Forks: 1

arya2004/artificial-intelligence

Artificial Intelligence University Lab

Language: Java - Size: 59.6 KB - Last synced at: 26 days ago - Pushed at: 27 days ago - Stars: 2 - Forks: 2

axone-protocol/prolog

🧠 The Axone Prolog VM

Language: Go - Size: 2.19 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 4 - Forks: 0

seanpm2001/AI2001

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️🏠️ The source repository for the open source AI2001 Artificial Intelligence project.

Language: R - Size: 4.83 MB - Last synced at: 21 days ago - Pushed at: 3 months ago - Stars: 22 - Forks: 1

rissosmicrogg4vl/SOLx

clickhouse

Size: 148 KB - Last synced at: 30 days ago - Pushed at: 30 days ago - Stars: 0 - Forks: 0

simonharris/safecracker.pl

Prolog, Vue.js and Python/FastAPI application to solve the "Safe Cracker" puzzle in the weekend papers direct from a cameraphone photo, using OCR and natural language parsing via a DCG.

Language: Prolog - Size: 15.2 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0

klaudiosinani/awesome-prolog

Curated list of Prolog packages and resources

Size: 51.8 KB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 547 - Forks: 37

mhdelta/Oftalco

Oftalco is a small expert system built in Python that uses pyDatalog as the main logic engine. It provides a graphical interface with tkinter to help determine possible eye-related diseases based on a set of symptoms.

Language: Python - Size: 10 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Ana06/AI

Several projects for the Artificial Intelligence course, with topics such as Recommender and Rule-based Systems, Ontologies and Natural Language Processing.

Language: CLIPS - Size: 440 KB - Last synced at: 21 days ago - Pushed at: over 9 years ago - Stars: 26 - Forks: 5

viebel/klipse

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

Language: HTML - Size: 91.5 MB - Last synced at: 30 days ago - Pushed at: about 1 year ago - Stars: 3,137 - Forks: 149

biopatternsg/biopatternsg

This project combines Generative AI and Logic AI to form an integrated process, a pipeline, that retrieves large volumes of scientific information and produces logical models that can be validated and leveraged by human experts. Our goals are to organize and to analyze knowledge with the assistance of AI and other bio-information retrieval tools.

Size: 49.5 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 1