Prolog 로 작성된 라이브러리

thelma

메타 해석 학습의 구현.
  • 8

prolog-checkers

Prolog에 구현된 체커의 플레이어 대 AI 게임.
  • 8
  • MIT

brainfuck-pl

Prolog의 brainf*ck 인터프리터.
  • 7

edcg

Peter Van Roy의 프롤로그용 확장 DCG 구문.
  • 6
  • MIT

simpletapl

  • 6

conlang

구성된 언어 기념일 로고.
  • 5

regexc

Prolog로 작성된 정규식 컴파일러입니다.
  • 5

prolog-to-minizinc

Prolog-to-MiniZinc 번역기.
  • 5
  • MIT

mine-prolog-tba

프롤로그에서 개발한 작은 텍스트 기반 어드벤처 게임..
  • 5

wh40ksim

워해머 40k 전투 시뮬레이터.
  • 5

bencode

프롤로그용 벤코딩(mndrix 제공).
  • 4
  • The Unlicense

bulletpl

  • 4
  • BSD 2-clause "Simplified"

dailyprogrammer

  • 4

refinements

이것은 주로 HLA 테이블과 갑옷의 메커니즘과 같은 여러 기능을 변경하는 BG2용 모드입니다. (vbigiani 제공).
  • 4

advent-of-code-2022

  • 3
  • The Unlicense

aoc-2022

  • 3

Analyzer

Analyzer는 Pascal의 매우 작은 하위 집합에 대한 문법 분석기입니다. (pjmlp에 의해).
  • 3
  • GNU General Public License v3.0

robo

Prolog 언어를 사용하는 자동화 도구입니다. (웹스트랜드에 의해).
  • 3

war-crimes-explorer

대량 학살, 전쟁 범죄, 인류에 대한 범죄, 침략에 대한 대화형 브라우저 내 학습..
  • 2
  • MIT

Completionist

위치에 액세스하기 위한 항목 요구 사항을 기반으로 모험을 확인 및/또는 생성합니다. OOTR 및 Metroid와 같은 Randomizer에서 영감을 얻었습니다.
  • 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