Skip to content
View koo5's full-sized avatar
💭
github sucks
💭
github sucks

Sponsoring

@antenore
@Tyrrrz

Organizations

@lemon-operating-language

Block or report koo5

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
15 results for source starred repositories written in Prolog
Clear filter

SWI-Prolog for SHaring: a SWI-Prolog web IDE

Prolog 546 139 Updated Dec 4, 2025

Parser for Attempto Controlled English (ACE)

Prolog 208 27 Updated Apr 21, 2024

Some notes taken while working on Prolog

Prolog 192 26 Updated Nov 29, 2023

CLP(BNR) module for SWI-Prolog

Prolog 44 8 Updated Dec 4, 2025

'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.

Prolog 21 Updated Dec 3, 2024

Base Forward Chaining Knowledge Base Maintenance System

Prolog 19 1 Updated Oct 2, 2021

Extend Definite Clause Grammars for Prolog by the corresponding parse tree

Prolog 12 2 Updated Jan 20, 2023

Rule-based Intelligent Tutoring System

Prolog 11 6 Updated Mar 28, 2015

Implementation of dependent type theory in SWI-Prolog

Prolog 10 2 Updated Oct 6, 2020

Extended tools for Prolog

Prolog 3 3 Updated Dec 9, 2025

Function notation for Prolog

Prolog 2 1 Updated Nov 6, 2020
Prolog 2 Updated Jul 8, 2023

Research into logic programming and knowledge representation

Prolog 1 1 Updated Nov 17, 2025

ISO 8601 date & time parsing module for Prolog

Prolog 1 Updated Aug 11, 2021

Traverse and transform HTML/XML/SGML Documents

Prolog 1 1 Updated Jan 28, 2021