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
28 stars written in Prolog
Clear filter

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

Parser for Attempto Controlled English (ACE)

Prolog 208 27 Updated Apr 21, 2024

Constraint Logic Programming over Finite Domains

Prolog 187 13 Updated Jan 7, 2020

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

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

Prolog 24 5 Updated Nov 29, 2015

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

Prolog 23 2 Updated Mar 31, 2021

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

Prolog 19 3 Updated Aug 23, 2020

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

Prolog 17 1 Updated Sep 21, 2020

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

Prolog 17 6 Updated Apr 26, 2024

Juicy Language Compiler

Prolog 11 Updated Oct 8, 2017

Java based Edinburgh Prolog parser

Prolog 11 2 Updated Jun 24, 2025

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

PROLOG implementation for the kalah game. Created as a project for "PROLOG - aspects for AI" of the Israeli Open University

Prolog 7 7 Updated Jul 4, 2014

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

Prolog 5 6 Updated May 11, 2020

AI-Player for the Nine Men's Morris board game (German: "Mühle"), implemented in Prolog

Prolog 4 Updated Feb 11, 2014

A reversi game played by different AI's in Prolog

Prolog 3 Updated Mar 7, 2015

Shiftago game in Prolog

Prolog 1 Updated Feb 22, 2019