luanalima27/PFL-FEUP

LEIC - 3rd Year - 1st Semester, L.EIC024 - Functional and Logic Programming

Language: Prolog - Size: 515 KB - Last synced at: about 3 hours ago - Pushed at: about 8 hours ago - Stars: 0 - Forks: 0

jaalonso/Lecturas_GLC

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

Size: 9.24 MB - Last synced at: about 15 hours ago - Pushed at: about 16 hours ago - Stars: 78 - Forks: 8

jaalonso/jaalonso.github.io

Índice de repositorios.

Language: HTML - Size: 70.5 MB - Last synced at: about 17 hours ago - Pushed at: about 18 hours ago - Stars: 1 - Forks: 0

biopatternsg/biopatternsg

biopatternsg is a system that builds gene regulatory networks from a basic collection of biological objects, gathering and processing PubMed abstracts, using Internet available informational resources like Mesh, GeneOntology, UniProt, PDB and others, and that uses java and logical engines like prolog to integrate and analyse them.

Size: 223 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 1

LogtalkDotOrg/logtalk3

Logtalk - declarative object-oriented logic programming language

Language: Prolog - Size: 1.01 GB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 445 - Forks: 32

unipr-org/AI

AI - Intelligenza Artificiale presso l'Università degli Studi di Parma (6 CFU).

Language: Prolog - Size: 175 MB - Last synced at: about 1 hour ago - Pushed at: 4 months ago - Stars: 4 - Forks: 3

knowrob/knowrob

A Knowledge Base System for Cognition-enabled Robots

Language: C++ - Size: 126 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 144 - Forks: 107

pouriaSameti/AI-Learning-Environments

Hands-on projects for MDP, RL, FOL, and Game AI. designed for practical learning in AI courses.

Language: Python - Size: 828 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

pvdabeel/prolog

Automate building and maintaining custom operating systems using declarative reasoning.

Language: Prolog - Size: 195 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 2 - Forks: 2

aartikis/RTEC

RTEC is an Event Calculus implementation optimised for stream reasoning

Language: Prolog - Size: 11.7 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 88 - Forks: 16

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

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

fribeiro1/jekpro-activemq-library

Jekejeke Prolog Library for ActiveMQ

Language: Java - Size: 13.7 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

namin/clpset-miniKanren

CLP(Set) in miniKanren

Language: Scheme - Size: 54.7 KB - Last synced at: about 21 hours ago - Pushed at: 12 months ago - Stars: 23 - Forks: 4

namin/logically

explorations in core.logic

Language: Clojure - Size: 116 KB - Last synced at: about 21 hours ago - Pushed at: 11 months ago - Stars: 118 - Forks: 9

namin/metamk

Prolog-Style Meta-Interpreters in miniKanren

Language: Scheme - Size: 1.37 MB - Last synced at: about 21 hours ago - Pushed at: 2 months ago - Stars: 32 - Forks: 4

klaudiosinani/awesome-prolog

Curated list of Prolog packages and resources

Size: 50.8 KB - Last synced at: about 12 hours ago - Pushed at: over 2 years ago - Stars: 535 - Forks: 38

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: HTML - Size: 262 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 12 - Forks: 0

Mateus-Resende-Ottoni/Prolog

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

sylvainlapeyrade/WumpusWorld

Wumpus World Game in Unity with multiple AIs

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

luciangreen/SSI

A Prolog Compiler written in Prolog.

Language: Prolog - Size: 850 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 3 - Forks: 1

luciangreen/Split-on-Phrases

Splits text files into groups of files

Language: Prolog - Size: 29.3 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 1

luciangreen/Prolog-to-List-Prolog

Converts Prolog algorithms to List Prolog algorithms

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

luciangreen/Philosophy

List of Philosophy Algorithms

Language: Prolog - Size: 4.33 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 1

luciangreen/luciancicd

Lucian CI/CD

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

luciangreen/List-Prolog-to-Prolog-Converter

Converts List Prolog code to Prolog code.

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

luciangreen/List-Prolog-Package-Manager

Registry manager and installer for repositories with dependencies

Language: Prolog - Size: 66.4 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 1

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

edo9k/learn

Stuff I'm learning! (mostly programming languages and development related subjects)

Language: JavaScript - Size: 37 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 2 - Forks: 0

lucasfhs/prolog-exercises-rimsa

This academic work aims to explore the implementation and analysis of logic-based algorithms using the Prolog programming language.

Language: Prolog - Size: 89.8 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

martinMitchell05/tecProg_2025_public

A repository with practice code about programming paradigms: Object Oriented - Functional - Logical

Language: Python - Size: 10.7 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

LogtalkDotOrg/logtalk-jupyter-kernel Fork of hhu-stups/prolog-jupyter-kernel

A Jupyter kernel for Logtalk

Language: Jupyter Notebook - Size: 3.25 MB - Last synced at: about 19 hours ago - Pushed at: 10 days ago - Stars: 13 - Forks: 1

fabasoad/setup-prolog-action

This GitHub action installs Prolog

Language: Shell - Size: 27.3 KB - Last synced at: 7 days ago - Pushed at: 10 days ago - Stars: 2 - Forks: 1

XkaunanX/ask-me-why-prolog

UTN - 2nd Year Engineering: Logic Programming

Language: Prolog - Size: 0 Bytes - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

gabe-rbo/Complete-Prolog-Metainterpreter-and-EBG

Complete prolog metainterpreter that cuts and executes all builtins as desired. The metainterpreter is finished, EBG is still being worked on.This is research is being developed by me and my professor José de Siqueira at UFMG.

Language: Prolog - Size: 45.9 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 1 - Forks: 0

Forquosh/UBB-Projects

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

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

seanpm2001/AI2001

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

Language: R - Size: 4.6 MB - Last synced at: about 18 hours ago - Pushed at: about 1 year ago - Stars: 13 - Forks: 1

SWI-Prolog/swipl-devel

SWI-Prolog Main development repository

Language: C - Size: 98.2 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 1,056 - Forks: 186

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.57 MB - Last synced at: 11 days ago - Pushed at: 14 days ago - Stars: 1,963 - Forks: 103

chav1961/funnypro

The Prolog language interpreter (based on I.Bratko book) to use as built-in script language in the Java by it's javax.script package functionality

Language: Java - Size: 2.91 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

EricZinda/InductorProlog

Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler

Language: C++ - Size: 224 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 4

drbeco/doxygenprolog

A doxygen filter to use with Prolog

Language: C - Size: 242 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 2 - Forks: 0

mbeps/Prolog-Assignment 📦

CS2910 - Artificial Intelligence: Assignment 2

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

w-henderson/WebPL

🛠️ A Prolog interpreter for the browser.

Language: Rust - Size: 17.4 MB - Last synced at: 13 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0

AmziLS/AmziProlog

Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.

Language: C++ - Size: 16.8 MB - Last synced at: 4 days ago - Pushed at: over 3 years ago - Stars: 123 - Forks: 26

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

jquorning/Prolog

Simple Ada Prolog library

Language: Ada - Size: 611 KB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 7 - Forks: 0

c-cube/datalog

An in-memory datalog implementation for OCaml.

Language: Prolog - Size: 2.14 MB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 269 - Forks: 24

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

fareedom1/deepproblog-kan-cnn-mnist-addition

Compare CNN and KAN models on symbolic MNIST addition using DeepProbLog

Language: Python - Size: 32.6 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0

swipl/msgpackc Fork of royratcliffe/msgpackc-prolog

MessagePack grammar for SWI-Prolog

Language: Prolog - Size: 75.2 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0

ztangent/Julog.jl

A Julia package for Prolog-style logic programming.

Language: Julia - Size: 202 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 177 - Forks: 11

AppliedLogicSystems/ALSProlog

ALS Prolog Compiler & Development Environment

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

guregu/trealla-js

Trealla Prolog for the web

Language: TypeScript - Size: 585 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 49 - Forks: 3

trealla-prolog/go

Trealla Prolog embedded in Go using WASM

Language: Go - Size: 114 MB - Last synced at: 11 days ago - Pushed at: 20 days ago - Stars: 79 - Forks: 4

Muhammad-Obaid3/healthy-recipe-ontology

Ontology-based smart recipe recommender system using OWL 2.0 and DL queries

Size: 5.08 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0

uuverifiers/eldarica

The Eldarica model checker

Language: Scala - Size: 53.6 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 83 - Forks: 25

nunores/Ampel-Witch-Workbench Fork of SouOCalves/Ampel-Witch-Workbench

3D implementations of the Ampel board game and a witch's workbench scene using Javascript, Prolog and WebGL

Language: JavaScript - Size: 11.2 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0

agustingianni/Utilities

Uncategorized utilities

Language: Python - Size: 39.1 KB - Last synced at: 1 day ago - Pushed at: over 6 years ago - Stars: 57 - Forks: 20

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

viebel/klipse

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

Language: HTML - Size: 91.5 MB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 3,127 - Forks: 148

fnogatz/xsd2json

Translate XML Schema into equivalent JSON Schema

Language: Prolog - Size: 2.99 MB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 154 - Forks: 28

glennstreet/awesome-philosophy-compsci

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

Size: 132 KB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 85 - Forks: 4

gooofy/zamia-ai

Free and open source A.I. system based on Python, TensorFlow and Prolog.

Language: Prolog - Size: 118 MB - Last synced at: 26 days ago - Pushed at: almost 4 years ago - Stars: 163 - Forks: 27

kovvalsky/LangPro

Tableau-based Theorem Prover for Natural Logic and Language

Language: Prolog - Size: 26.3 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 117 - Forks: 12

guilhermeleitao2002/Hashi-Puzzle-Project

Prolog-based Hashi puzzle solver using logical constraint satisfaction.

Language: Prolog - Size: 168 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

microsoft/Guan

Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.

Language: C# - Size: 2.3 MB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 77 - Forks: 7

Danielbgoncalves/servidor-com-pl

Criação de um site para uma pizzaria usanod um servidor com prolog para gerenciar pedidos e cancelamentos

Language: HTML - Size: 0 Bytes - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

tuProlog/2p-kt

A Kotlin Multi-Platform ecosystem for symbolic AI

Language: Kotlin - Size: 12.1 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 103 - Forks: 15

simply-logical/simply-logical

Online, interactive edition of the "Simply Logical" Prolog textbook

Language: Prolog - Size: 13.3 MB - Last synced at: 29 days ago - Pushed at: 5 months ago - Stars: 141 - Forks: 24

evoldoers/biomake

GNU-Make-like utility for managing builds and complex workflows

Language: Prolog - Size: 938 KB - Last synced at: 29 days ago - Pushed at: over 1 year ago - Stars: 105 - Forks: 9

1manuelc/IFCE_estudos

Estudos feitos no curso Bacharelado em Ciência da Computação, separados por semestres e disciplina(s).

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

Seeker04/plwm

An X11 window manager written in Prolog

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

foxyseta/tree-sitter-prolog

Mirror of https://codeberg.org/foxy/tree-sitter-prolog. Refer to the original repository for issue tracking

Language: JavaScript - Size: 857 KB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 3

mumuki/mulang

:bamboo: Universal, Multi Language, Multi Paradigm code analyzer

Language: Haskell - Size: 15.5 MB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 124 - Forks: 9

aliheidary1381/prolect

A simple prolog interpreter in OCaml

Language: OCaml - Size: 23.4 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

joaopedroangelo/WebDoctor

Projeto da disciplina Paradigmas de Programação (PLP), da UFCG - Semestre 2024.2

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

skamsie/berlin-subway

Route finding algorithm for Berlin metro

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

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: 28 days ago - Pushed at: 6 months ago - Stars: 301 - Forks: 23

alysnnix/stdy-paradigm-summary

A study in slate gray

Language: TeX - Size: 87.1 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

beyond-tabs/prolog-matcher

A Prolog-based service for named entity matching and ranking, powered by SWI-Prolog and MySQL ODBC integration

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

zhzLuke96/prolog-tut-cn

📚prolog chinese tutorial. https://zhzluke96.github.io/prolog-tut-cn/

Language: Prolog - Size: 1.1 MB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 1

rzese/trill

TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.

Language: Prolog - Size: 20.9 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 13 - Forks: 5

Anniepoo/prolog-examples

Some simple examples for new Prolog programmers

Language: Prolog - Size: 85 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 600 - Forks: 177

hsk/simple_x86_prolog

285-line Prolog x86_64 compiler with SSA & liveness

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

joom/herbrand-prolog

A pseudo-Prolog that tries to answer queries by building the least Herbrand model.

Language: Haskell - Size: 187 KB - Last synced at: about 1 month ago - Pushed at: over 10 years ago - Stars: 6 - Forks: 1

jurek-muszynski/parp

Half-term project assignment as part of the Programming Paradigms class @ Warsaw University of Technology

Language: Haskell - Size: 173 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

memelang-net/memesql3

Language: Python - Size: 596 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 1

alysnnix/stdy-prolog

A study in tangerine

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

fnogatz/date_time

Logical arithmetic on dates and times in Prolog

Language: Prolog - Size: 26.4 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 3

Vastyen/paradigmas-de-la-programacion

Repositorio maestro para aprobar paradigmas de la programación

Size: 62.5 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

yuce/pyswip

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

Language: Python - Size: 417 KB - Last synced at: 30 days ago - Pushed at: 5 months ago - Stars: 506 - Forks: 98

Benny-Gil/Amalzen-Disease-Diagnosis

Amalzen Disease Diagnosis is a program for identifying a user's disease based on symptoms using the Prolog Programming Language.

Language: JavaScript - Size: 6.12 MB - Last synced at: 27 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

ML-KULeuven/problog

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

Language: Python - Size: 18.4 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 334 - Forks: 39

ekzhang/ukanren-rs

Rust implementation of µKanren, a featherweight relational programming language.

Language: Rust - Size: 38.1 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 113 - Forks: 4

darren277/RESTettaStone

Showcase of REST API functionality, Dockerized, for 30+ programming languages and 40+ frameworks.

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

ewdlop/Prolog-notes

https://en.wikipedia.org/wiki/Prolog;白讀白科;I'm glad you didn't learn Prolog from me.

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

robjsliwa/pyprolog

Prolog implemented in Python

Language: Python - Size: 140 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 10 - Forks: 3

pjritee/pl_search_cpp

A C++ module that uses Prolog ideas for search and constraint programming

Language: C++ - Size: 3.28 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0