用 Prolog 编写的库

open-source-rover

基于火星漫游车的自制 6 轮漫游车!
  • 7.3k
  • Apache License 2.0

terminusdb

TerminusDB 是一个具有协作模型的分布式数据库。
  • 2.4k
  • Apache License 2.0

stabilizer

稳定器:严格的性能评估。
  • 523
  • Apache License 2.0

logtalk3

Logtalk - 声明性面向对象逻辑编程语言。
  • 359
  • Apache License 2.0

dumbpad

带旋转编码器的简单 4x4 数字键盘。由 QMK 通过 ATmega32u4 Pro Micro 提供支持。
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

基于 Attiny85 微控制器的 BadUSB 电缆..
  • 274
  • Creative Commons Attribution 4.0

tar.pl

tar 创建器 + 提取器,大约 100 行序言。
  • 248

elpi

可嵌入的 Lambda Prolog 解释器。
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

Ciao 是一个现代的 Prolog 实现,它构建于一个基于逻辑的简单内核,设计为可移植、可扩展和模块化。
  • 214
  • GNU Lesser General Public License v3.0 only

metagol

Metagol - 归纳逻辑编程系统。
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

整数约束逻辑编程。
  • 160

Gleemin

Magic: the Gathering™ 专家系统。
  • 86

louise

多项式时间元解释学习。
  • 77
  • GNU General Public License v3.0

RTEC

RTEC 是针对流推理而优化的事件演算实现。
  • 71
  • GNU Lesser General Public License v3.0 only

nests-and-insects

一款 Roguelike 桌面角色扮演游戏。
  • 50
  • GNU General Public License v3.0 only

sparqlprog

使用 SPARQL 进行逻辑编程。
  • 42

aleph

阿莱夫港至 SWI-Prolog(由 friguzzi 提供)。
  • 36

swipldcgtut

swi-Prolog 中的 DCG 教程。
  • 29

PRESS

PROlog 方程求解系统。
  • 28
  • MIT

packages-http

SWI-Prolog HTTP 服务器和客户端库。
  • 22

precautionary

以患者为中心的肿瘤剂量递增试验安全诊断,根据 PKPD 个体间差异检查设计安全性。
  • 20
  • GNU General Public License v3.0

Alpino

Alpino 荷兰语解析器和相关工具。
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

SWI-Prolog 的调试适配器协议 (DAP) 实现。
  • 18
  • MIT

Phenesthe

“Phenesthe”(原 φαίνεσθαι)是一个用于表示和处理瞬时和持续时间现象的系统。
  • 18
  • GNU General Public License v3.0 only

data-logic

具有演绎查询和验证以自然语言表达的约束的专家系统。
  • 14

djota

Prolog 中的 Djot 实现。
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

我的硕士论文:语法归纳系统。
  • 12
  • GNU General Public License v3.0 only

dfs-tools

分布式形式语义 (DFS) 工具。
  • 11
  • Apache License 2.0

advent-of-code-2020

Advent of Code 2020 的解决方案(作者:aarroyoc)。
  • 9
  • The Unlicense