GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

prolog-programming-language

Website
Wikipedia
https://static.github-zh.com/github_avatars/mthom?size=40
mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.

Rustprologprolog-interpreterprolog-implementationiso-prolog-standardprolog-programming-language
Rust 2.24 k
19 天前
https://static.github-zh.com/github_avatars/tau-prolog?size=40
tau-prolog / tau-prolog

An open source Prolog interpreter in JavaScript

tau-prologprolog-interpreteriso-prolog-standardJavaScriptprologprolog-programming-languageprolog-implementationlogic-programming
JavaScript 607
2 年前
https://static.github-zh.com/github_avatars/ciao-lang?size=40
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.

prolog编译器编程语言logicinterpreterbytecodevirtual-machineconstraintsprolog-implementationprolog-interpreteriso-prolog-standardprolog-programming-languagelogic-programming
Prolog 304
9 天前
https://static.github-zh.com/github_avatars/trealla-prolog?size=40
trealla-prolog / trealla

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

prologprolog-interpreterCiso-prolog-standardprolog-implementationprolog-programming-language
C 297
3 天前
https://static.github-zh.com/github_avatars/toblotron?size=40
toblotron / praxis-ide

An online IDE for visual programming in Prolog

低代码prologprolog-programming-languagevisual-programming-editor
JavaScript 240
2 个月前
https://static.github-zh.com/github_avatars/logicmoo?size=40
logicmoo / wam_common_lisp

Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

Common Lispprolog-programming-languageObject-oriented programming (OOP)Lispprologlisp-interpreter
Common Lisp 102
4 年前
https://static.github-zh.com/github_avatars/rachelwiles?size=40
rachelwiles / GoT-Check

⚔️ Game of Thrones character database and family trees in Prolog

gotprologprolog-implementationprolog-programming-languagefamily-tree数据库
Prolog 69
6 年前
https://static.github-zh.com/github_avatars/logicmoo?size=40
logicmoo / logicmoo_workspace

https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/

prolog-programming-languageplannermud-gamegame-serverartifical-intelligenceagi
44
2 年前
https://static.github-zh.com/github_avatars/shettyvarshaa?size=40
shettyvarshaa / PRINCIPLES-OF-AI

Principles of AI concepts from the curriculum

人工智能聊天机器人prolog-programming-language
Python 38
1 年前
https://static.github-zh.com/github_avatars/nicoladileo?size=40
nicoladileo / NephroDoctor

NephroDoctor: A simple Medical Expert System written in Prolog

人工智能medical-informaticsprolog-programming-languageprolog-interpreterinference-engineknowledge-baserule-baseduncertainty
Prolog 31
7 年前
https://static.github-zh.com/github_avatars/raydac?size=40
raydac / jprol

Yet another Java based Prolog engine

prologJavaengineprolog-programming-language
Java 30
2 个月前
https://static.github-zh.com/github_avatars/RadostinaIvanova?size=40
RadostinaIvanova / Expert-system-in-Prolog

Expert system in Prolog for diagnosis of mental disorders.

prologprolog-programming-languagerule-based人工智能
Prolog 17
4 年前
https://static.github-zh.com/github_avatars/logicmoo?size=40
logicmoo / CYC_JRTL_with_CommonLisp

#自然语言处理#Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)

Common Lispprolog-programming-languagelisp-interpreter人工智能自然语言处理logic-programmingartificial-general-intelligence
Java 16
2 年前
https://static.github-zh.com/github_avatars/AppliedLogicSystems?size=40
AppliedLogicSystems / ALSProlog

ALS Prolog Compiler & Development Environment

prolog编译器language编程语言logic-programmingiso-prolog-standardprolog-implementationprolog-programming-language
C 16
2 个月前
https://static.github-zh.com/github_avatars/VanHakobyan?size=40
VanHakobyan / SWI-Prolog

SWI-Prolog Logical Programming Languages

prologprolog-programming-language
Prolog 16
7 年前
https://static.github-zh.com/github_avatars/MuhammadSulaiman001?size=40
MuhammadSulaiman001 / prolog-lab

SWI-Prolog Tutorial

logic-programmingprologlogicprolog-programming-language
Prolog 12
2 年前
https://static.github-zh.com/github_avatars/tectijuana?size=40
tectijuana / logifun.archived

(ARCHIVED) Programacion Lógica y funcional

Erlangprolog-programming-language
Prolog 12
6 个月前
https://static.github-zh.com/github_avatars/HouariZegai?size=40
HouariZegai / PrologExercise

Prolog Examples with Solutions

prologprolog-programming-languageexercise-solutionsexercise
Prolog 11
7 年前
https://static.github-zh.com/github_avatars/tau-prolog?size=40
tau-prolog / draw-derivation-trees

A tool for drawing derivation trees of Tau Prolog

prologprolog-programming-languageCanvastau-prolog
JavaScript 11
3 年前
https://static.github-zh.com/github_avatars/brilacasck?size=40
brilacasck / wumpus-prolog

Wumpus Implementation in Prolog Language

prologprolog-programming-language函数式编程人工智能artifical-intelligensegamelogic
Prolog 10
6 年前
loading...