用 Prolog 编写的库

thelma

元解释学习的实现。
  • 8

prolog-checkers

在 Prolog 中实现的玩家与人工智能跳棋游戏。
  • 8
  • MIT

brainfuck-pl

Prolog 中的一个脑残解释器。
  • 7

edcg

Peter Van Roy 为 Prolog 扩展的 DCG 语法。
  • 6
  • MIT

simpletapl

  • 6

conlang

构建语言涂鸦。
  • 5

regexc

用 Prolog 编写的正则表达式编译器。
  • 5

prolog-to-minizinc

Prolog 到 MiniZinc 的转换器。
  • 5
  • MIT

mine-prolog-tba

一款用prolog开发的小型文本冒险游戏。
  • 5

wh40ksim

战锤40k战斗模拟器。
  • 5

bencode

Prolog 的 Bencoding（由 mndrix 提供）。
  • 4
  • The Unlicense

bulletpl

  • 4
  • BSD 2-clause "Simplified"

dailyprogrammer

  • 4

refinements

这是 BG2 的一个模组，改变了许多功能，主要是 HLA 表和盔甲的机制。 （作者：vbigiani）。
  • 4

advent-of-code-2022

  • 3
  • The Unlicense

aoc-2022

  • 3

Analyzer

分析器是 Pascal 的一个非常小的子集的语法分析器。 （由 pjmlp 提供）。
  • 3
  • GNU General Public License v3.0

robo

使用 Prolog 语言的自动化工具。 （由 webstrand 提供）。
  • 3

war-crimes-explorer

关于种族灭绝、战争罪、反人类罪和侵略罪的交互式浏览器内学习。
  • 2
  • MIT

Completionist

根据访问某个位置的物品要求检查和/或生成冒险。受到 OOTR 和 Metroid 等随机生成器的启发。
  • 2
  • MIT

TommyPROM-PCB

TommyPROM 项目的 PCB 设计文件 (https://github.com/TomNisbet/TommyPROM)。
  • 1
  • MIT

Searching-In-An-Infinite-Space-Prolog

PP2014序言作业。
  • 1

FlorenceBot

使用 Prolog 和 PySwip 实现的完全交互式的特定领域聊天机器人。
  • 1

stabilizer

稳定器：严格的性能评估（llvm-12 前叉）（由 magras 提供）。
  • 1
  • Apache License 2.0

copl-in-prolog

書籍「プログラミング言語の基礎概念」の Prolog による実装.
  • 1
  • MIT

SSI

用 Prolog 编写的 Prolog 编译器。 （卢西安格林）。
  • 1
  • BSD 3-clause "New" or "Revised"

advent-of-code-2022

  • 0

Prolog-to-List-Prolog

将 Prolog 算法转换为 List Prolog 算法。
  • 0
  • BSD 3-clause "New" or "Revised"

WiFly-PCB

我的 WiFLy 无人机的 Eagle PCB 设计。
  • 0

prolord

  • 0