prolog
There are 2258 repositories under prolog topic.
viebel/klipse
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
EvgSkv/logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
triska/the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
SWI-Prolog/swipl-devel
SWI-Prolog Main development repository
ichiban/prolog
The only reasonable scripting engine for Go.
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
Anniepoo/prolog-examples
Some simple examples for new Prolog programmers
klaudiosinani/awesome-prolog
Curated list of Prolog packages and resources
yuce/pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
LogtalkDotOrg/logtalk3
Logtalk - declarative object-oriented logic programming language
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
ML-KULeuven/problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Shen-Language/shen-sources
Shen language kernel sources for porters
program-spiritual/KongFuOfArchitect
(Updating!) Architect's Kung Fu tutorial collection Article collection contains paradigm programming microservices essential algorithms Security attack Assembly Crawler Reverse penetration test...etc.
trealla-prolog/trealla
A compact, efficient Prolog interpreter written in plain-old C.
ciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
dragonwasrobot/learn-prolog-now-exercises
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
tomgrek/zincbase
A batteries-included kit for knowledge graphs
Seeker04/plwm
An X11 window manager written in Prolog
c-cube/datalog
An in-memory datalog implementation for OCaml.
SuperDisk/tar.pl
tar creator+extractor in ~100 lines of prolog
toblotron/praxis-ide
An online IDE for visual programming in Prolog
triska/clpz
Constraint Logic Programming over Integers
triska/clpfd
Constraint Logic Programming over Finite Domains
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
mcsoto/cosmos
A new logic programming language.
complexdb/zincbase
A state of the art knowledge base
gooofy/zamia-ai
Free and open source A.I. system based on Python, TensorFlow and Prolog.
simply-logical/simply-logical
Online, interactive edition of the "Simply Logical" Prolog textbook
fnogatz/xsd2json
Translate XML Schema into equivalent JSON Schema
triska/lisprolog
Interpreter for a simple Lisp. Written in Prolog.
knowrob/knowrob
A Knowledge Base System for Cognition-enabled Robots
AmziLS/AmziProlog
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
MNoorFawi/pytholog
Python library that enables using prolog syntax and logic programming in python
mumuki/mulang
:bamboo: Universal, Multi Language, Multi Paradigm code analyzer