prolog 开源项目推荐（2,635 个）

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是一种可编译为SQL的逻辑编程语言。它在DuckDB、Google BigQuery、PostgreSQL和SQLite上运行。

triska /the-power-of-prolog

Prolog 的力量：现代 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

ML-KULeuven /problog

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

hakank /hakank

My public programs and models - mostly combinatorial problems and puzzles

Shen-Language /shen-sources

Shen language kernel sources for porters

trealla-prolog /trealla-prolog

A compact, efficient Prolog interpreter written in plain old C.

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.

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.

Seeker04 /plwm

An X11 window manager written in Prolog

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.

c-cube /datalog

OCaml的内存内数据库实现。