2,307 results for “topic:prolog”
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
A modern Prolog implementation written mostly in Rust.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
The Power of Prolog: Introduction to modern Prolog
SWI-Prolog Main development repository
The only reasonable scripting engine for Go.
An open source Prolog interpreter in JavaScript
Some simple examples for new Prolog programmers
Curated list of Prolog packages and resources
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
Logtalk - declarative object-oriented logic programming language
My public programs and models - mostly combinatorial problems and puzzles
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Shen language kernel sources for porters
(Updating!) Architect's Kung Fu tutorial collection Article collection contains paradigm programming microservices essential algorithms Security attack Assembly Crawler Reverse penetration test...etc.
A compact, efficient Prolog interpreter written in plain old C.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
An X11 window manager written in Prolog
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
A batteries-included kit for knowledge graphs
An in-memory datalog implementation for OCaml.
tar creator+extractor in ~100 lines of prolog
An online IDE for visual programming in Prolog
Constraint Logic Programming over Integers
Constraint Logic Programming over Finite Domains
A Julia package for Prolog-style logic programming.
A new logic programming language.
Online, interactive edition of the "Simply Logical" Prolog textbook
A state of the art knowledge base
Free and open source A.I. system based on Python, TensorFlow and Prolog.