Trending repositories for language Prolog

TerminusDB is a distributed database with a collaboration model

💡 Join 1,000 teenagers and make your first PCB with a $100 grant!

A build-it-yourself, 6-wheel rover based on the rovers on Mars!

💡 Join 1,000 teenagers and make your first PCB with a $100 grant!

TerminusDB is a distributed database with a collaboration model

A build-it-yourself, 6-wheel rover based on the rovers on Mars!

TerminusDB is a distributed database with a collaboration model

💡 Join 1,000 teenagers and make your first PCB with a $100 grant!

A build-it-yourself, 6-wheel rover based on the rovers on Mars!

PSLab Hardware Design and Schematics https://pslab.io

Embeddable Lambda Prolog Interpreter

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

Some simple examples for new Prolog programmers

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

💡 Join 1,000 teenagers and make your first PCB with a $100 grant!

TerminusDB is a distributed database with a collaboration model

Embeddable Lambda Prolog Interpreter

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

Some simple examples for new Prolog programmers

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

PSLab Hardware Design and Schematics https://pslab.io

A build-it-yourself, 6-wheel rover based on the rovers on Mars!

C plus Prolog

A build-it-yourself, 6-wheel rover based on the rovers on Mars!

💡 Join 1,000 teenagers and make your first PCB with a $100 grant!

TerminusDB is a distributed database with a collaboration model

Definition of the "LumaCode" signal standard with reference implementation

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

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

Constraint Logic Programming over Integers

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

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

PSLab Hardware Design and Schematics https://pslab.io

Embeddable Lambda Prolog Interpreter

Some simple examples for new Prolog programmers

Euler Yet another proof Engine

Top-down interpreter for ASP programs with Constraints

The release for ICML 2023 paper

OpenSprinkler Hardware Design files

Logtalk - declarative object-oriented logic programming language

Expert Systems Guide

A Roguelike Tabletop RPG

C plus Prolog

Definition of the "LumaCode" signal standard with reference implementation

Top-down interpreter for ASP programs with Constraints

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

The release for ICML 2023 paper

💡 Join 1,000 teenagers and make your first PCB with a $100 grant!

OpenSprinkler Hardware Design files

Expert Systems Guide

Euler Yet another proof Engine

Constraint Logic Programming over Integers

A Roguelike Tabletop RPG

No description

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

Bedrock is TM1 Best Practice assets built from years of TM1 experience

A benchmark library for constraints

Language Server Protocol server for SWI-Prolog

Embeddable Lambda Prolog Interpreter

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

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

Some notes taken while working on Prolog

C plus Prolog

No description

💡 Join 1,000 teenagers and make your first PCB with a $100 grant!

A build-it-yourself, 6-wheel rover based on the rovers on Mars!

TerminusDB is a distributed database with a collaboration model

C plus Prolog

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

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

Definition of the "LumaCode" signal standard with reference implementation

No description

OU 227 testing

Logtalk - declarative object-oriented logic programming language

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

Embeddable Lambda Prolog Interpreter

Some simple examples for new Prolog programmers

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

No description

Euler Yet another proof Engine

The release for ICML 2023 paper

PSLab Hardware Design and Schematics https://pslab.io

No description

Polynomial-time Meta-Interpretive Learning

No description

💡 Join 1,000 teenagers and make your first PCB with a $100 grant!

OU 227 testing

The release for ICML 2023 paper

Definition of the "LumaCode" signal standard with reference implementation

Expert Systems Guide

No description

Top-down interpreter for ASP programs with Constraints

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

Polynomial-time Meta-Interpretive Learning

Euler Yet another proof Engine

formulars and numbers for mining yield in Eve Online

A pocket keyboard that uses SMD mouse switches. Low profile and easy to assemble

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

Language Server Protocol server for SWI-Prolog

No description

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

Embeddable Lambda Prolog Interpreter

No description

Some notes taken while working on Prolog