Skip to content
View kamil-adam's full-sized avatar

Block or report kamil-adam

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

Starred repositories

17 stars written in Prolog
Clear filter

Some simple examples for new Prolog programmers

Prolog 617 179 Updated Nov 4, 2022

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

Prolog 547 139 Updated Dec 4, 2025

Constraint Logic Programming over Integers

Prolog 209 15 Updated Feb 5, 2024

A tutorial for the swipl web framework

Prolog 114 42 Updated Feb 9, 2021

Boolean Constraint Solving in Prolog

Prolog 48 6 Updated Dec 8, 2024

Expert Systems Guide

Prolog 47 6 Updated Jan 9, 2022

Web Framework for SWI-Prolog

Prolog 43 7 Updated Dec 23, 2015

A tutorial for DCG's in swi-Prolog

Prolog 35 8 Updated Feb 8, 2021

An encoding of the UK's self-isolation rules in Prolog

Prolog 34 Updated Apr 11, 2021

Simple timetabling engine for schools

Prolog 30 12 Updated Jul 12, 2024

Reason about Bitcoin addresses with Prolog

Prolog 23 5 Updated Mar 17, 2024

Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'

Prolog 19 10 Updated May 26, 2020

Prove formulas of Presburger Arithmetic

Prolog 11 2 Updated Oct 5, 2024

Extended DCG syntax for Prolog by Peter Van Roy

Prolog 9 4 Updated Oct 24, 2024

Brainfuck interpreter written in Prolog.

Prolog 3 Updated Mar 25, 2018

An interface to Google Protocol Buffers (protobuf)

Prolog 2 Updated Sep 30, 2024

A regular expression compiler written in Prolog

Prolog 1 Updated Dec 31, 2018