Found 24,820 repositories(showing 30)
shekhargulati
This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.
viebel
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
mthom
A modern Prolog implementation written mostly in Rust.
EvgSkv
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
rust-lang
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
triska
The Power of Prolog: Introduction to modern Prolog
planety
Powerful and flexible web framework written in Nim
SWI-Prolog
SWI-Prolog Main development repository
ichiban
The only reasonable scripting engine for Go.
tau-prolog
An open source Prolog interpreter in JavaScript
Anniepoo
Some simple examples for new Prolog programmers
klaudiosinani
Curated list of Prolog packages and resources
SWI-Prolog
SWI-Prolog for SHaring: a SWI-Prolog web IDE
yuce
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
LogtalkDotOrg
Logtalk - declarative object-oriented logic programming language
chrisbobbe
A Jekyll version of the "Prologue" theme by HTML5 UP
hakank
My public programs and models - mostly combinatorial problems and puzzles
ML-KULeuven
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Shen-Language
Shen language kernel sources for porters
rvirding
Prolog interpreter in and for Erlang
mndrix
Prolog interpreter in Go
profydev
The base application for the upcoming React Job Simulator. Transition from amateur to professional within a single project by working in a real-world work environment.
program-spiritual
(Updating!) Architect's Kung Fu tutorial collection Article collection contains paradigm programming microservices essential algorithms Security attack Assembly Crawler Reverse penetration test...etc.
LPCIC
Embeddable Lambda Prolog Interpreter
trealla-prolog
A compact, efficient Prolog interpreter written in plain old C.
ciao-lang
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
peterall
Eurorack Oscillators for Korg prologue, minilogue xd and Nu:tekt NTS-1
Seeker04
An X11 window manager written in Prolog
dragonwasrobot
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
tomgrek
A batteries-included kit for knowledge graphs