[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View tluyben's full-sized avatar
52 followers · 16 following

Sponsoring

@rabbibotton

Achievements

Achievement: Public SponsorAchievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Public SponsorAchievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report tluyben

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Lists (4)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

7 stars written in Prolog
Clear filter

terminusdb / terminusdb

TerminusDB is a distributed database with a collaboration model

Prolog 2,794 108 Updated Nov 4, 2024

SuperDisk / tar.pl

tar creator+extractor in ~100 lines of prolog

Prolog 257 6 Updated Jan 22, 2023

metagol / metagol

Metagol - an inductive logic programming system

Prolog 201 27 Updated Sep 13, 2021

JCumin / Brachylog

A terse declarative logic programming language

Prolog 118 5 Updated Jul 28, 2020

prologbyexample / code

Prolog 28 1 Updated Mar 11, 2023

kyledewey / typed-prolog

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

Prolog 28 1 Updated Oct 18, 2017

JakubGrobelny / aurox-lang

Interpreter written for Prolog course.

Prolog 10 1 Updated Feb 18, 2020

Starred topics