Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with prolog

A curated list of projects in awesome lists tagged with prolog .

https://github.com/evgskv/logica

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

bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino

Last synced: 13 May 2025

https://github.com/EvgSkv/logica

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

bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino

Last synced: 20 Mar 2025

https://github.com/swi-prolog/swipl-devel

SWI-Prolog Main development repository

logic-programming prolog swi-prolog

Last synced: 21 Oct 2025

https://github.com/SWI-Prolog/swipl-devel

SWI-Prolog Main development repository

logic-programming prolog swi-prolog

Last synced: 03 Apr 2025

https://github.com/Anniepoo/prolog-examples

Some simple examples for new Prolog programmers

family-tree prolog

Last synced: 03 Apr 2025

https://github.com/anniepoo/prolog-examples

Some simple examples for new Prolog programmers

family-tree prolog

Last synced: 06 Mar 2025

https://github.com/ichiban/prolog

The only reasonable scripting engine for Go.

go golang interpreter logic-programming prolog

Last synced: 14 Mar 2025

https://github.com/yuce/pyswip

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

artificial-intelligence expert-systems logic-programming natural-language-processing prolog python robotics swi-prolog

Last synced: 14 May 2025

https://github.com/program-spiritual/kongfuofarchitect

(Updating!) Architect's Kung Fu tutorial collection Article collection contains paradigm programming microservices essential algorithms Security attack Assembly Crawler Reverse penetration test...etc.

architect architecture-guidelines c c-sharp csharp erlang go golang java javascript lisp nodejs object-c perl prolog python rust scala swift

Last synced: 18 Sep 2025

https://github.com/ML-KULeuven/problog

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

aproblog dtproblog lfi-problog probabilistic probabilistic-inference probabilistic-logic-programming probabilistic-programming problog prolog

Last synced: 29 Mar 2025

https://github.com/trealla-prolog/trealla

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

c iso-prolog-standard prolog prolog-implementation prolog-interpreter prolog-programming-language

Last synced: 16 Dec 2025

https://github.com/dragonwasrobot/learn-prolog-now-exercises

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

prolog

Last synced: 23 Jun 2025

https://github.com/c-cube/datalog

An in-memory datalog implementation for OCaml.

datalog logic-programming memoization ocaml prolog

Last synced: 16 May 2025

https://github.com/superdisk/tar.pl

tar creator+extractor in ~100 lines of prolog

logic-programming prolog tar unix

Last synced: 24 Aug 2025

https://github.com/SuperDisk/tar.pl

tar creator+extractor in ~100 lines of prolog

logic-programming prolog tar unix

Last synced: 10 Jul 2025

https://github.com/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.

bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine

Last synced: 29 Oct 2025

https://github.com/ztangent/julog.jl

A Julia package for Prolog-style logic programming.

first-order-logic fol julia logic logic-programming prolog

Last synced: 07 May 2025

https://github.com/triska/clpfd

Constraint Logic Programming over Finite Domains

clp constraint-programming constraints integer-arithmetic prolog teaching

Last synced: 04 Jan 2026

https://github.com/triska/clpz

Constraint Logic Programming over Integers

clp constraint-programming constraints integer-arithmetic prolog sicstus-prolog

Last synced: 04 Jan 2026

https://github.com/complexdb/zincbase

A state of the art knowledge base

graph-embedding knowledge-base knowledge-graph prolog

Last synced: 29 Jul 2025

https://github.com/fnogatz/xsd2json

Translate XML Schema into equivalent JSON Schema

json-schema prolog swi-prolog xml-schema

Last synced: 07 Apr 2025

https://github.com/gooofy/zamia-ai

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

artificial-intelligence knowledgebase natural-language-processing prolog python semantic-web tensorflow

Last synced: 14 Apr 2025

https://github.com/triska/lisprolog

Interpreter for a simple Lisp. Written in Prolog.

interpreter lisp prolog

Last synced: 20 Mar 2025

https://github.com/JCumin/Brachylog

A terse declarative logic programming language

code-golf declarative golfing-language language logic-programming prolog swi-prolog

Last synced: 12 Jul 2025

https://github.com/AmziLS/AmziProlog

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

eclipse-plugin ide logic-programming prolog virtual-machine

Last synced: 06 May 2025

https://github.com/ekzhang/ukanren-rs

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

functional-programming language logic-programming microkanren minikanren prolog rust

Last synced: 08 May 2025

https://github.com/evoldoers/biomake

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

bioinformatics gnu-make makefiles prolog swi-prolog workflows

Last synced: 14 Dec 2025

https://github.com/uclnlp/ntp

End-to-End Differentiable Proving

deep-learning nips-2017 prolog tensorflow

Last synced: 03 Jul 2025

https://github.com/wouterbeek/prolog_library_collection

A collection of Prolog libraries.

prolog swi-prolog

Last synced: 27 Jun 2025

https://github.com/trealla-prolog/go

Trealla Prolog embedded in Go using WASM

go logic-programming prolog trealla-prolog wasm

Last synced: 30 Apr 2025

https://github.com/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.

csharp guan library linux logic-programming netstandard20 prolog windows

Last synced: 07 Apr 2025

https://github.com/friguzzi/cplint

cplint is a suite of programs for reasoning with probabilistic logic programs

inductive-logic-programming logic-programming machine-learning probabilistic-logic-programming probabilistic-programming prolog

Last synced: 20 Nov 2025

https://github.com/SWI-Prolog/swipl-wasm

Run SWI-Prolog in your browser using WebAssemply

prolog swi-prolog webassembly

Last synced: 03 Apr 2025

https://github.com/jaalonso/lecturas_glc

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

coq functional-programming haskell isabelle-hol itp leanprover logic logic-programming prolog

Last synced: 10 Apr 2025

https://github.com/maebert/prolog_puzzles

Prolog puzzles for fun and profit (mostly fun)

cognitive-science exercise prolog prolog-puzzles puzzle

Last synced: 01 Sep 2025

https://github.com/guregu/php

Prolog Home Page

cgi prolog www

Last synced: 23 Mar 2025

https://github.com/alhassy/prologcheatsheet

Basics of relational programming with Prolog —PROgramming in LOGic ^_^

cheatsheet emacs html pdf prolog relational-programming

Last synced: 20 Mar 2025

https://github.com/philzook58/egglog0

Datalog + Egg = Good

prolog rust theorem-prover

Last synced: 26 Apr 2025

https://github.com/rubycocos/cocos

cocos (code commons) - auto-include quick-starter prelude & prolog

cocos commons gems prelude prolog ruby

Last synced: 14 Jul 2025

https://github.com/lps-js/lps.js

Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.

ai artificial-intelligence interpreter javascript language languages library logic lps production-systems programming-language prolog

Last synced: 15 Jul 2025

https://github.com/guregu/trealla-js

Trealla Prolog for the web

javascript logic-programming prolog webassembly

Last synced: 11 Apr 2025

https://github.com/ice1000/learn

:books: codes written while learning them.

android c clojure cpp csharp dart go groovy haskell java jni kotlin learning prolog python

Last synced: 17 Mar 2025

https://github.com/twolodzko/prolog-rs

Minimal Prolog implemented in Rust

prolog prolog-implementation prolog-interpreter rust rust-lang

Last synced: 09 Apr 2025

https://github.com/triska/ediprolog

Emacs Does Interactive Prolog

emacs emacs-lisp prolog prolog-process

Last synced: 25 Jul 2025

https://github.com/dirkschumacher/logician

🖖 Prolog-style Logic Programming in pure R

datalog logic-programming prolog r

Last synced: 15 May 2025

https://github.com/triska/letswicrypt

Prolog HTTPS Servers

https https-server prolog swi-prolog

Last synced: 04 Jan 2026

https://github.com/sasagawa888/elxlog

Prolog interpreter/compiler

elixir prolog

Last synced: 15 Mar 2025

https://github.com/namin/metamk

Prolog-Style Meta-Interpreters in miniKanren

logic-programming meta metaprogramming minikanren prolog reflection scheme

Last synced: 14 Apr 2025

https://github.com/raydac/jprol

Yet another Java based Prolog engine

engine gui-editor java prolog prolog-engine prolog-programming-language

Last synced: 13 Apr 2025

https://github.com/ekaf/wordnet-prolog

Prolog versions of the WordNet databases

princeton-wordnet prolog relational-databases wordnet

Last synced: 14 Oct 2025

https://github.com/triska/simsttab

Simple timetabling engine for schools

clp constraint-programming prolog school timetable timetabling-engine

Last synced: 31 Aug 2025

https://github.com/kuba--/ut

Yet Another Efficient Unification Algorithm

logic-programming prolog unification unification-algorithm

Last synced: 12 Apr 2025

https://github.com/ana06/ai

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

artificial-intelligence jess natural-language-processing ontology prolog protege recommender-system ucm

Last synced: 06 Jan 2026

https://github.com/triska/bitcoinolog

Reason about Bitcoin addresses with Prolog

bitcoin bitcoin-wallet cryptocurrency elliptic-curves offline-capable prolog

Last synced: 20 Sep 2025

https://github.com/crossbowerbt/prolog-talk

An English Grammar Dictionary and a Natural Language Parser --- in Common Lisp and Prolog

artificial-intelligence common-lisp natural-language-processing prolog

Last synced: 30 Jun 2025

https://github.com/eazar001/yesbot

IRC Bot Written in Prolog

bot irc irc-bot irc-client prolog swi-prolog

Last synced: 20 Nov 2025

https://github.com/nicoabie/quickcheck

Randomized testing for Prolog à la QuickCheck

prolog property-based-testing quickcheck swi-prolog

Last synced: 06 Mar 2025

https://github.com/gooofy/zamia-prolog

Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.

declarative-language embeddable logic-programming prolog prolog-dialect python

Last synced: 27 Oct 2025

https://github.com/mndrix/func

Apply and compose functions in Prolog

functions prolog

Last synced: 20 Nov 2025

https://github.com/xieyuheng/logic-db

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

logic-programming prolog typescript

Last synced: 28 Jul 2025

https://github.com/mndrix/regex

Regular expressions for Prolog

prolog regex regular-expression

Last synced: 20 Nov 2025

https://github.com/triska/trs

Reason about Term Rewriting Systems

prolog term-rewriting trs

Last synced: 27 Jun 2025

https://github.com/pchampio/othello-prolog

:scroll: A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.

alpha-beta artificial-intelligence board-game logic-programming minmax othello-game prolog student-project swipl univ-lemans

Last synced: 11 Oct 2025

https://github.com/wouterbeek/prolog_rdf

Advanced support for working with RDF in Prolog.

linked-data prolog rdf semantic-web swi-prolog

Last synced: 17 Dec 2025

https://github.com/vanhakobyan/swi-prolog

SWI-Prolog Logical Programming Languages

logical-programming prolog prolog-programming-language swi-prolog

Last synced: 27 Oct 2025

https://github.com/matchilling/brexit

🇬🇧 A !serious adventure for the Ununited Kingdom written in prolog

adventure-game brexit prolog

Last synced: 13 Aug 2025

https://github.com/guregu/predicates

various predicates for ichiban/prolog

dynamodb go prolog

Last synced: 06 Oct 2025

https://github.com/fnogatz/plammar

A Prolog grammar written in Prolog, for parsing and serialising Prolog code.

definite-clause-grammar parser prolog serializer swi-prolog

Last synced: 16 Aug 2025

https://github.com/RustemB/profetch

🦉 System Information Fetcher Written in GNU/Prolog

fetch neofetch prolog

Last synced: 08 May 2025

https://github.com/fnogatz/tap

Write TAP tests with SWI-Prolog

prolog swi-prolog tap

Last synced: 17 Dec 2025

https://github.com/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.

assembly cpp java lisp prolog python ubb ubb-cluj ubb-computer-science ubb-fmi

Last synced: 09 Oct 2025

https://github.com/ljos/ob-prolog

Org babel functions for prolog evaluation.

emacs-lisp literate-programming org-mode prolog

Last synced: 06 Oct 2025

https://github.com/ducasse/soul

Rescuing the SOUL great logic meta programming language

logic-programming pharo prolog unification

Last synced: 17 Mar 2025

https://github.com/mndrix/list_util

Prolog list utility predicates

lists prolog

Last synced: 20 Nov 2025

https://github.com/fnogatz/dcg4pt

Extend Definite Clause Grammars for Prolog by the corresponding parse tree

definite-clause-grammar grammar parsing prolog

Last synced: 14 Oct 2025

https://github.com/rla/node-swipl-stdio

A Node.js interface to the SWI-Prolog communicating over stdio.

nodejs prolog swi-prolog

Last synced: 07 Oct 2025