Skip to content
View bentall's full-sized avatar

Block or report bentall

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

prolog

34 repositories

The Power of Prolog: Introduction to modern Prolog

HTML 1,343 85 Updated Sep 30, 2025

A modern Prolog implementation written mostly in Rust.

Rust 2,336 159 Updated Dec 17, 2025

Logtalk - declarative object-oriented logic programming language

Prolog 469 34 Updated Dec 18, 2025

Embeddable Lambda Prolog Interpreter

Prolog 332 43 Updated Dec 12, 2025

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Prolog 321 24 Updated Jun 21, 2025

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

C 328 22 Updated Dec 18, 2025
C 62 14 Updated Nov 11, 2025

An open source Prolog interpreter in JavaScript

JavaScript 622 59 Updated Jan 30, 2023

The Makam Metalanguage

OCaml 198 12 Updated Mar 7, 2023

Constraint Logic Programming over Finite Domains

Prolog 187 13 Updated Jan 7, 2020

Parser for Attempto Controlled English (ACE)

Prolog 208 27 Updated Apr 21, 2024

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

Prolog 169 27 Updated Dec 17, 2024

C plus Prolog

Prolog 165 3 Updated Mar 11, 2025

OWL2 library for Prolog

Prolog 112 19 Updated Aug 23, 2019

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

Prolog 110 9 Updated Nov 14, 2023

Text Adventure game in SWI Prolog.

Prolog 102 3 Updated Aug 14, 2023

A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.

Prolog 31 3 Updated Oct 18, 2017

DocLog builds documentation from source code in Prolog

Prolog 31 4 Updated Dec 14, 2025

Генератор стихов на Prolog

Prolog 23 2 Updated Mar 31, 2021

an advanced text adventure engine with a web interface, written in prolog

Prolog 24 5 Updated Nov 29, 2015

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

Prolog 17 6 Updated Apr 26, 2024

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

Prolog 17 1 Updated Sep 21, 2020

Pacman-like game where the user controls the pacman with Prolog code

Prolog 19 3 Updated Aug 23, 2020

Juicy Language Compiler

Prolog 11 Updated Oct 8, 2017

A Player vs AI game of checkers implemented in Prolog

Prolog 11 8 Updated Apr 7, 2021

A simple minimax chess engine written in prolog

Prolog 11 1 Updated May 8, 2023

A basic lisp interpreter written in prolog

Prolog 10 2 Updated Nov 18, 2009

Othello Game Application Implemented with Alpha-Beta Algorithm in SWI-Prolog's Logic Programming Language ♟️

Prolog 5 6 Updated May 11, 2020

A prolog compiler written in lisp, written in forth.

Forth 3 Updated Oct 31, 2023