用prolog实现

本专辑为您列举一些用prolog实现方面的下载的内容,用prolog实现等资源。把最新最全的用prolog实现推荐给您,让您轻松找到相关应用信息,并提供用prolog实现下载等功能。本站致力于为用户提供更好的下载体验，如未能找到用prolog实现相关内容，可进行网站注册，如有最新用prolog实现相关资源信息会推送给您。

阅读全文

用prolog实现

: 用prolog实现8数码问题 用prolog实现8数码问题，文件有3个，都要consult(8puzzle.pl,astarCC,basisc.pl),结果输入参考文件8puzzle.pl最后一行
评级：5 浏览量：693 收藏量：3 资源大小：255KB 上传时间：2010-04-10

: prolog实现简单的数独游戏用编译器swi - prolog编写的数独小例子，包含递归，内部谓词等操作。数独游戏是4*4的，但是代码很明确，可以很容易的进行修改成9*9的，切记在swi - prolog下执行
评级：0 浏览量：460 收藏量：1 资源大小：873B 上传时间：2020-06-17

: 利用Prolog实现递归规则 "利用Prolog实现递归规则" Prolog是一种基于逻辑编程语言，广泛应用于人工智能领域，特别是在搜索技术、自然语言理解、机器定理证明和专家系统等方面。Prolog语言具有很强的逻辑性和文法简捷，且具有递归调用功能，...
评级：0 浏览量：355 收藏量：1 资源大小：37KB 上传时间：2010-11-24

: d-prolog:D语言的Prolog实现 D 语言中的 Prolog 实现。安装下载二进制文件下载dprolog二进制文件。从源安装 $ git clone https://github.com/arkark/d-prolog.git $ cd d-prolog 并构建（请参阅）。用法参见docs/ 。发展要求 DMD : D...
评级：0 浏览量：57 收藏量：0 资源大小：2.16MB 上传时间：2021-05-29

: 利用prolog实现数据比对根据prolog现有数据，做出相应比对。基础prolog入门，了解prolog的比对原理。
评级：0 浏览量：47 收藏量：0 资源大小：661B 上传时间：2018-10-06

: blueInGreen:JavaScript中的Prolog实现 蓝色绿色在实现的打包，类似于Prolog的逻辑编程语言。快速开始 < script src =" bower_components/blueInGreen/src/parser.js " > </ script >< script src =" bower_components/blueInGreen/src/...
评级：0 浏览量：43 收藏量：0 资源大小：8KB 上传时间：2021-05-29

: scryer-prolog：主要用Rust编写的现代Prolog实现 scryer-prolog：主要用Rust编写的现代Prolog实现
评级：0 浏览量：79 收藏量：0 资源大小：666KB 上传时间：2021-02-05

: microkanren-prolog:微看人的Prolog实现 microKanren 的 Prolog 实现，如 Jason Hemann 和 Daniel P. Friedman 在μKanren: A Minimal Functional Core for Relational Programming 中所述。例子 % swipl -s microkanren.pl ?- [examples]. ?- empty_...
评级：0 浏览量：68 收藏量：0 资源大小：3KB 上传时间：2021-06-23

: 五子棋prolog实现 prolog代码 用prolog的深度搜索算法实现五子棋
评级：4 浏览量：230 收藏量：2 资源大小：10KB 上传时间：2010-05-16

: prolog:TypeScript中Prolog的实现 TypeScript中Prolog的实现。要求Node.js（> = 10）用法$ npm install ts-prolog -g$ ts-prolog笔记仅实现了一部分语言功能。 BFS用于搜索。例子rules.pl mult ( z , X , z ) .add ( z , Y , Y ) .add (s( X ), Y , s...
评级：0 浏览量：89 收藏量：0 资源大小：22KB 上传时间：2021-05-17

: swi-web-prolog:Web Prolog 的概念验证 SWI-Prolog 实现网络序言电梯间距：想象一下带有进程和邮箱以及发送和接收的Prolog方言——强大的并发和分布式编程所必需的所有手段。... 我的长期目标之一是用 Web Prolog 节点替换 SWISH 后端。安装获取最新的 SWI-Prol
评级：0 浏览量：117 收藏量：0 资源大小：38.02MB 上传时间：2021-05-31

: wamcompiler：基于沃伦抽象机的Prolog实现 这是用Common Lisp编写的prolog编译器，它将prolog代码编译为Warren抽象机（WAM）的字节码。我建议使用Steel Bank Common Lisp（SBCL）。要启动REPL，请评估以下表达式： ( load " wamcompiler.lisp " ) (repl) ...
评级：0 浏览量：79 收藏量：0 资源大小：23KB 上传时间：2021-01-31

: Prolog-diagnostic:这是prolog诊断程序的实现这是prolog诊断程序的实现。此序言程序将帮助您确定您应该旅行的类型。由Oleg Tielushko U48136789和Tyler Brown U47820527完成 This program will help determine the user their next vacation destination ...
评级：0 浏览量：46 收藏量：0 资源大小：16KB 上传时间：2021-03-27

: lisp prolog实现专家系统人工智能课程上机实验代码+报告.zip 人工智能课程上的实验分别使用lisp语言和prolog语言实现了一个专家系统并且有详细的实验报告附带画的二级推理树（1）领域背景简介为了更好地阐明专家系统的基本工作原理 ,我们用 PROLOG语言实现一个简单的...
评级：0 浏览量：249 收藏量：0 资源大小：390KB 上传时间：2022-01-04

: Prolog语言教程.pdf 1. **Turbo Prolog**：这是一款早期的Prolog实现，提供了良好的性能和用户界面，适用于初学者和教育用途。 2. **PDC Prolog**：PDC Prolog是免费的、跨平台的Prolog编译器，支持多种操作系统，适合教学和开发。 3. *...
评级：0 浏览量：250 收藏量：0 资源大小：654KB 上传时间：2020-09-23

: recipe-recommender:在Prolog中实现的食谱推荐器食谱推荐人在Prolog中实现的食谱推荐器%%样本：%%输出：“您想做什么？” %%可能的用户输入：%%“酱油鸡” %%“不含麸质的比萨面团” %%“沙拉三明治” %%“ desset” %%“素食比萨饼” %%无麸质面包%%素食胡萝卜...
评级：0 浏览量：50 收藏量：0 资源大小：5KB 上传时间：2021-04-12

: prolog-vdom:SWI-Prolog的虚拟DOM实现它旨在与SWI-Prolog的WebAssembly构建一起使用。该实现将VDOM树保留在Prolog端，并通过外语接口序列化初始树和修改。演示： : 概述有关实际的代码示例，请参阅和 Prolog代码在WebAssembly模块内部运行，该...
评级：0 浏览量：77 收藏量：0 资源大小：1.11MB 上传时间：2021-05-10

: Prolog-Dijkstra-Algorithm:使用Dijkstra算法的Prolog出租车调度程序应用这是通过使用Dijkstra的算法来找到最短路径来完成的，并为此提供了一种实现方法。该代码可以通过查询scheduler.pl并调用scheduler(FinalTaxiPositions)来运行。为了仅测试Dijkstra的算法，可以使用graph.pl ： ...
评级：0 浏览量：173 收藏量：1 资源大小：62KB 上传时间：2021-05-23

: goldparser-prolog:SWI-Prolog 中的 GOLD 解析器实现 goldparser-序言SWI-Prolog 中的 GOLD 解析器实现
评级：0 浏览量：63 收藏量：0 资源大小：72KB 上传时间：2021-07-13

: nani的prolog实现 经典nani问题得prolog实现
评级：0 浏览量：82 收藏量：0 资源大小：33KB 上传时间：2007-11-09

: prolog waterjugs.pl 两个瓶子，一个四加仑一个3加仑，输入您想要的最终状态，可以智能的搜索出倒法，需要配合A*搜索的prolog程序
评级：0 浏览量：75 收藏量：1 资源大小：3KB 上传时间：2011-04-05

: ocaml-prolog:娱乐语言学的非确定性 Prolog 实现 OCaml 中一个简单的 Prolog 解释器，最初由 Karol Stosiek 和 Szymon Fogiel 编写；由 Martin Keegan 更新。源自原版： : 主要变化：删除浮点数据类型/算术排除保守的语法，支持更多的糖，更少的样板嬉戏的...
评级：0 浏览量：52 收藏量：0 资源大小：95KB 上传时间：2021-06-07

: 用prolog语言实现八皇后问题本代码使用prolog语言实现的八皇后问题，并输出了所有可能的解的棋盘。共60行代码...
评级：4 浏览量：879 收藏量：4 资源大小：2KB 上传时间：2009-05-11

: 使用类似PROLOG的逻辑求解器实现Rust特质系统的实现和定义-Rust开发使用类似于PROLOG的逻辑求解器粉笔Chalk的Rust特征系统的实现和定义是一个基于Prolog-ish逻辑规则实现Rust特征系统的库。有关更多信息，请参见粉笔书。常问问题粉笔与rustc有何关系？计划是让rustc使用粉笔溶解的...
评级：0 浏览量：46 收藏量：0 资源大小：733KB 上传时间：2021-05-27

: SWI-Prolog7.7.23手册 swil -Prolog是一种全面的、可移植的Prolog编程语言实现。swil - prolog旨在成为支持广泛应用程序的健壮且可伸缩的实现。特别是，它附带了大量的接口库，为其他语言、数据库、图形和网络提供接口。它为管理...
评级：0 浏览量：278 收藏量：0 资源大小：2.35MB 上传时间：2018-12-04

: prolog_parser:Scryer Prolog的运算符优先级解析器，这是一个新兴的ISO Prolog实现 prolog_parser 基于Koen De Bosschere的论文“ Standard Prolog的运算符优先级解析器”和随附的C代码，用于的运算符优先级解析器。
评级：0 浏览量：49 收藏量：0 资源大小：23KB 上传时间：2021-05-24

: 垂钓听竹轩 Prolog 教程 4. 高级抽象：Prolog 提供了高级抽象机制，使得开发者可以专注于问题的解决，而不是实现细节。入门如果你是 Prolog 的新手，不要担心！我们将从基础开始，逐步深入，学习 Prolog 的基本概念、语法和应用。以下是...
评级：0 浏览量：91 收藏量：0 资源大小：512KB 上传时间：2014-07-30

: 一个动物识别专家系统在PROLOG下的实现一个动物识别专家系统在PROLOG下的实现，简单明了，方便学习
评级：0 浏览量：918 收藏量：1 资源大小：200KB 上传时间：2014-12-28

: prolog_notes:在Prolog上工作时做的一些笔记在这里，应该使用Prolog的非常严格的自上而下的定理证明者（或者更确切地说是“枚举结果检查器”）来实现更通用的定理证明者。以及您如何直接在定理证明者中进行搜索？ NP沙漠不适合胆小的人。什么是Prolog？在...
评级：0 浏览量：43 收藏量：0 资源大小：11.78MB 上传时间：2021-04-18

: 《人工智能》--使用prolog和java实现人工智能部分算法.zip 人工智能学习总结成果，希望能帮到大家，有疑问欢迎随时联系沟通~ 人工智能学习总结成果，希望能帮到大家，有疑问欢迎随时联系沟通~ 人工智能学习总结成果，希望能帮到大家，有疑问欢迎随时联系沟通~ ...
评级：0 浏览量：9 收藏量：0 资源大小：10KB 上传时间：2024-03-15

: Prolog Poker-开源这是（SWI-）Prolog中的客户端/服务器体系结构扑克（有限德州扑克）软件的实现。它对GUI和套接字使用扩展XPCE。乐于见到用户来帮助开发。
评级：0 浏览量：28 收藏量：0 资源大小：2.42MB 上传时间：2021-04-27

: artificial-intelligence:使用prolog和java实现人工智能部分算法人工智能使用prolog和java实现人工智能部分算法
评级：0 浏览量：52 收藏量：0 资源大小：12KB 上传时间：2021-03-12

: GNU-prolog实现八皇后问题和时间转换问题 prolog语言的简单程序，输出八皇后问题和时间转换问题
评级：0 浏览量：177 收藏量：0 资源大小：2KB 上传时间：2011-05-07

: 八皇后scheme,prolog实现 里面包含用scheme,和prolog实现的八皇后问题的代码、注释
评级：5 浏览量：176 收藏量：1 资源大小：2KB 上传时间：2008-05-11

: tau-prolog:JavaScript中的开源Prolog解释器 Tau PrologJavaScript中的Prolog解释器Tau Prolog是完全用JavaScript实现的客户端Prolog解释器，其开发由ISO Prolog标准指导。符合ISO Prolog标准。 Tau Prolog的开发受ISO Prolog标准的指导，旨在促进Prolog文本和...
评级：0 浏览量：87 收藏量：0 资源大小：275KB 上传时间：2021-05-12

: Prolog+CG-开源 Prolog + CG是Prolog的Java实现，其扩展实现了John Sowa的概念图（CG）理论的子集。 CG是与术语同等的一流数据类型。还包括面向对象的扩展。
评级：0 浏览量：61 收藏量：0 资源大小：3.88MB 上传时间：2021-04-27

: 用prolog解决农夫过河问题在swi-prolog上实现的，能很好地解决农夫过河问题！
评级：3 浏览量：988 收藏量：0 资源大小：758B 上传时间：2012-03-03

: 实验五：prolog求解农夫过河问题（人工智能实验报告）包含prolog求解农夫过河问题的实验报告、源代码及试验运行截图
评级：0 浏览量：1693 收藏量：2 资源大小：889KB 上传时间：2020-12-25

: xsb prolog用户手册 xsb prolog实现wam扩展的prolog系统，可帮助程序员关注问题的逻辑模拟。
评级：0 浏览量：76 收藏量：0 资源大小：2.49MB 上传时间：2015-04-21

: prolog-tic-tac-toe:comp360-fall2014 井字棋的序言实现 prolog-tic-tacte comp360-fall2014 井字棋的序言实现
评级：0 浏览量：38 收藏量：0 资源大小：4KB 上传时间：2021-07-05

: Prolog和XPCE实现GUI的Sudoku 用prolog和xpce实现GUI的数独算法。原始算法是参考的别人的，但我用xpce加了一个GUI界面。
评级：4 浏览量：82 收藏量：0 资源大小：2KB 上传时间：2009-04-22

: 人工智能机器人搬盒子和爱因斯坦斑马问题prolog.doc 4. 用Prolog实现机器人搬盒子的谓词逻辑。 5. 用Python或其他编程语言实现该问题的求解。实验项目2：爱因斯坦逻辑难题（斑马问题）：5个不同国家且工作各不相同的人分别住在一条街上的5所房子里，每所房子的颜色...
评级：0 浏览量：1154 收藏量：4 资源大小：79KB 上传时间：2022-01-07

: normalization:Prolog中的数据库规范化 Prolog中的数据库规范化该脚本实现了两种最常用的数据库规范化算法：BCNF分解和3NF合成。它是在数据库课程中学习考试时作为练习而编写的。 norm_example谓词对Kifer，Bernstein和Lewis教科书“数据库系统”中给出...
评级：0 浏览量：80 收藏量：0 资源大小：3KB 上传时间：2021-05-18

: chalk:使用类似PROLOG的逻辑求解器实现Rust特质系统的实现和定义计划是让rustc用chalk-solve溶解的箱子（在此仓库中）回答有关Rust程序的问题，例如，“ Vec是否实现Debug ？”。在内部，粉笔将Rust特定的信息转换为逻辑，并使用逻辑引擎查找原始查询的答案。有关更多详细信息...
评级：0 浏览量：57 收藏量：0 资源大小：733KB 上传时间：2021-04-27

: QH-PROLOG编译程序系统的设计与实现 (1988年) 针对Ｐｒｏｌｏｇ源程序的特点，提出一种实现源程序完全代码化的编译方法，将事实与规则集中的逻辑关系用代码表达成逻辑推理树。根据上述思想研制成ＱＨ－ＰＲＯＬＯＧ编译程序系统，比一般Ｐｒｏｌｏｇ解释程序的...
评级：0 浏览量：73 收藏量：0 资源大小：4.9MB 上传时间：2021-06-11

: hm_prolog:Prolog 中的 Hindley-Milner 类型推理实现 hm_prolog Prolog 中的 Hindley-Milner 类型推理实现
评级：0 浏览量：51 收藏量：0 资源大小：361KB 上传时间：2021-06-26

: Prolog环境搭建.doc 用户可以根据自己的需求选择合适的Prolog实现，但SWI-Prolog是一个不错的选择。本文档提供了详细的Prolog环境搭建步骤，包括安装SWI-Prolog、选择合适的文本编辑器、输入“Hello World!”程序等内容，对于Prolog...
评级：0 浏览量：63 收藏量：0 资源大小：232KB 上传时间：2021-11-29

: 人工智能与prolog程序 1. **符号处理与模式匹配**：Prolog使用基于逻辑的语法，允许程序员定义事实和规则，这些规则通过模式匹配来解决查询。这使得Prolog非常适合处理非数值计算和知识推理问题。 2. **回溯功能**：在Prolog中，当一条...
评级：0 浏览量：144 收藏量：0 资源大小：125KB 上传时间：2013-05-31

: vivace-graph-v3:VivaceGraph版本3。开源Common Lisp图数据库和Prolog实现。取代http 它使用用户定义的索引和map-reduce视图实现了符合ACID的对象图模型。它还实现了用于冗余和水平读取缩放的主/从复制方案。通过多种Lisp方法或类似Prolog的查询语言来完成图形的查询。当前，它仅适用于> = 1.045...
评级：0 浏览量：51 收藏量：0 资源大小：124KB 上传时间：2021-05-06

资源推荐

相关资源标签

prolog scheme GUI Sudoku 用prolog实现 8数码问题 prolog实现五子棋递归时间转换农夫过河人工智能动物识别专家系统农夫过河问题人工智能实验 compiler common-lisp rust Java 开源软件 CommonLisp virtual-dom dom webassembly swi-prolog javascript logic-programming TypeScript puzzle algorithms graph-algorithms Utilities parser repl dlang HTML OCaml 自然科学论文 lisp modelarts python 机器学习