prolog编译器

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

阅读全文

prolog编译器

: prolog编译器swipi prolog编译器swipi
评级：0 浏览量：91 收藏量：0 资源大小：11.3MB 上传时间：2016-08-30

: prolog编译器 prolog编译器，适合初学者使用。Prolog语言最早由Aix-Marseille大学的Alain Colmerauer与Phillipe Roussel等人于60年代末研究开发。1972年被公认为是Prolog语言正式诞生的年份，自1972年以后，分支出多种Prolog的...
评级：4 浏览量：474 收藏量：0 资源大小：17.15MB 上传时间：2013-02-27

: Scryer-Prolog 编译器+命令行终端（由源码构建） Scryer-Prolog 编译器+命令行终端（由源码构建） A modern Prolog implementation written mostly in Rust. 一份现代的 Prolog 实现，主要使用 Rust 编写开发者：Mark Thom 源码：...
评级：0 浏览量：87 收藏量：0 资源大小：133.6MB 上传时间：2022-07-25

: 谷歌师兄的leetcode刷题笔记-prolog:极简的Prolog编译器和运行时库 Prolog 代码。 Prolog 特别适合为计算机和自然语言创建解析器。它的 DCG 符号与 BNF 非常相似，但功能更强大，并且允许使用歧义、上下文敏感的语法。 Prolog 有什么用？ Prolog 被许多人认为是一种“人工智能语言”...
评级：0 浏览量：93 收藏量：0 资源大小：74KB 上传时间：2021-06-30

: 人工智能语言prolog编译器 经典人工智能语言prolog编译器. Turbo公司出品.
评级：4 浏览量：121 收藏量：0 资源大小：254KB 上传时间：2010-06-05

: 人工智能 prolog编译器 Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上，最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能...
评级：5 浏览量：78 收藏量：3 资源大小：667KB 上传时间：2009-06-22

: sql_compiler-OLD:Draxler Prolog到SQL编译器索引也可以持久保存到磁盘与索引/ 1的比较该模块是在swi-prolog在所有参数上引入即时索引之前创建的，从而消除了对index / 1的需要。但是，index_utils对于非单位子句（规则）仍然有用，在这种情况下，每次都需要...
评级：0 浏览量：38 收藏量：0 资源大小：5KB 上传时间：2021-05-02

: GNU prolog 在csdn中下了几个prolog包，发现都不管用，自己在网络上找到了一个，并附加简单学习方法指导，在windows平台上可以正常使用，是学习prolog的好帮手。
评级：0 浏览量：147 收藏量：0 资源大小：4.59MB 上传时间：2015-03-31

: GNU Prolog:GNU Prolog本机编译器-开源 GNU Prolog是逻辑编程语言PROLOG的免费实现（在GPL下）。它可以编译为执行速度非常快的本机代码。另一个功能是包含的约束求解器。
评级：0 浏览量：134 收藏量：0 资源大小：3.37MB 上传时间：2021-04-26

: swi-prolog-wasm:SWI-Prolog移植到WebAssembly 您需要下载Emscripten编译器。按照其上的说明进行操作。成功安装后，将Emscripten环境加载到当前终端会话（调整路径）中： source ./emsdk_env.sh 依存关系 SWI-Prolog取决于zlib。要将其编译为WebAssembly： ...
评级：0 浏览量：97 收藏量：0 资源大小：1.05MB 上传时间：2021-05-11

: prolog-for-dummies 我强烈建议上的Program选项在此处进行所有测试，因为当足够好的资源在线存在时，我cba会设置本地编译器。您应该事先知道的一些事实 [H|T] -是长度>= 1的列表，第一个元素变为H ，列表的其余部分在T 。一些影响： ...
评级：0 浏览量：54 收藏量：0 资源大小：43KB 上传时间：2021-05-08

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

: swi-prolog 开源的prolog编译器，能够满足Windows下prolog的编译，此版本支持XP，从官网下的。
评级：0 浏览量：121 收藏量：0 资源大小：9.85MB 上传时间：2013-04-02

: miser:用于构建自优化谓词的 Prolog 库用法这个库是一个 Prolog 宏生成器，用于构建自优化谓词。假设您要对列表进行排序。您应该使用归并排序、快速排序、计数排序还是针对小列表优化的手工编码排序？最佳选择取决于 CPU 缓存架构、编译器优化、运行时...
评级：0 浏览量：35 收藏量：0 资源大小：6KB 上传时间：2021-06-20

: 程序员为什么还要刷题-regexc:用Prolog编写的正则表达式编译器 是一个正则表达式编译器。它接受一个正则表达式作为输入并创建一个与该正则表达式匹配的二进制文件作为输出。目录介绍我对这个项目的目标是探索在实际环境中使用 prolog。这意味着了解开发人员工作流程、项目...
评级：0 浏览量：68 收藏量：0 资源大小：25KB 上传时间：2021-07-07

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

: d-prolog:D语言的Prolog实现 DMD : D 编程语言的编译器 DUB ：D 编程语言的包管理器线噪安装Linenoise $ git clone https://github.com/antirez/linenoise.git $ cd linenoise $ gcc -c -o linenoise.o linenoise.c $ ar rcs liblinenoise.a...
评级：0 浏览量：54 收藏量：0 资源大小：2.16MB 上传时间：2021-05-29

: Yet Another Prolog-开源 Yap Prolog系统是ISO兼容的高性能Prolog编译器。 Yap被广泛认为是最快的Prolog系统之一。 Yap支持协程，CLP（QR），CHR和深度限制搜索。制表和并行性正在开发中。
评级：0 浏览量：102 收藏量：0 资源大小：3.27MB 上传时间：2021-04-25

: Visual prolog下载 Visual Prolog 这是面向对象程序的以 Prolog 编程语言为依据的环境。包含必要的用于建设大规模的商业应用和对 Windows GUI， ODBC， HTTP， ftp 和插座的图书馆支持的工具。它提供多线程技术，Unicode， DLL 和功能...
评级：4 浏览量：242 收藏量：0 资源大小：1KB 上传时间：2009-07-22

: SWI-Prolog 一款开源的Prolog编译器.编译器的网址是http://www.swi-prolog.org/
评级：0 浏览量：150 收藏量：0 资源大小：7.7MB 上传时间：2010-03-20

: pltc:使用DOS，Windows和Raspbian运行时的C编译器的Prolog-开源 Prolog to C编译器，带有用于DOS（带有Turbo C），Windows 10 64位和Raspbian（Raspberry Pi）的运行时
评级：0 浏览量：43 收藏量：0 资源大小：705KB 上传时间：2021-05-14

: tic.zip_编译器/解释器_Others_ A simple tic tac toe program using prolog
评级：0 浏览量：61 收藏量：0 资源大小：1KB 上传时间：2021-08-12

: chr-actr:在 CHR 中实施 ACT-R • 编译器位于编译器目录中。它可以通过查阅 SWI-Prolog 中的 actr2chr.pl 来启动。查询 compile_file(f)。编译文件 f. 编译器目录中有几个示例模型文件，它们都以前缀example_开头。 • 该框架可以在...
评级：5 浏览量：81 收藏量：0 资源大小：57KB 上传时间：2021-06-26

: 最新版swi-Prolog for win32 开源的prolog编译器，能够满足Windows下prolog的编译，此版本支持Windows7，我从官网下的。
评级：3 浏览量：139 收藏量：0 资源大小：7.87MB 上传时间：2010-07-10

: turboC2.0版本 Turbo C是美国Borland公司的产品，Borland公司是一家专门从事软件开发、研制的大公司。该公司相继推出了一套 Turbo系列软件, 如Turbo BASIC, Turbo Pascal, Turbo Prolog, 这些软件很受用户欢迎
评级：0 浏览量：59 收藏量：0 资源大小：2.12MB 上传时间：2015-05-29

: 语言孵化器：学习编译器，解释器，代码生成，虚拟机，汇编器，JIT等 fp / tapl：从（在Haskell / Prolog中）重新实现一些类型，例如。 llvm / kldscp：LLVM教程，玩具语言万花筒的JIT编译器； 4 / mips / mforth.S：将从x86 / Linux重写为MIPS / Linux（在CI20上测试）；
评级：0 浏览量：105 收藏量：0 资源大小：230KB 上传时间：2021-02-08

: logtalk3：Logtalk-声明性的面向对象的逻辑编程语言该文件是Logtalk 一部分版权所有1998-2021 Paulo Moura SPDX-许可证标识符：Apache-2.0 根据Apache许可版本2.0（“许可”）许可；... Logtalk以高度可移植的代码形式实现为反编译器，并且可以将大多数现代且符合
评级：0 浏览量：81 收藏量：0 资源大小：17.31MB 上传时间：2021-02-11

: ducscode:德里大学计算机科学（荣誉）理学士学位代码注意：大多数文件中编写的C ++代码都是在GNU编译器最新版本Linux或Windows上使用可执行二进制文件的形式在编译器上编译的。如果代码使用上述编译器，则用户必须将其改编为Borland / Turbo C ++编译器。 Java代码...
评级：0 浏览量：61 收藏量：0 资源大小：116.72MB 上传时间：2021-04-28

: ciao：Ciao编程语言约束逻辑编程（尤其是Prolog ）不同级别的模块化（从小到大）模块作为（便于分析的）编译单元捆绑作为模块的集合包作为实现语言扩展的模块（语法定义，编译选项，编译器插件）断言（作为允许静态和动态验证...
评级：0 浏览量：126 收藏量：0 资源大小：2.69MB 上传时间：2021-01-31

: LPSL lambda prolog的编译器，旨在编译为超快速的二进制文件。 LPSL（lambda prolog系统语言）采用lambda prolog代码并将其转换为fortran 2008。如果您像我一样，那么您一直对逻辑编程感兴趣，而逻辑编程绝对对系统...
评级：0 浏览量：71 收藏量：0 资源大小：3KB 上传时间：2021-02-10

: bedevere-开源 Bedevere 为 GNU Prolog 编译器提供了一个 SWIG 包装器。当前的重点是 Python 支持。只要 SWIG 支持的其他语言不干扰 Python 支持，它们可能会被接受。
评级：0 浏览量：54 收藏量：0 资源大小：18KB 上传时间：2021-07-19

: WAM:沃伦抽象机的实现在目前的状态下，它主要对想要了解更多有关 Prolog 内部工作原理的爱好者有用。该软件通过界面提供逐步指令执行，以查看机器的当前状态。要了解 WAM，我强烈建议访问此页面： : 套餐概览： 编译器：这包含...
评级：0 浏览量：94 收藏量：0 资源大小：3.04MB 上传时间：2021-06-24

: COMP3071-2015 我们将有一个期中考试，实验和作业，但是对于最后一个项目，我们将为一种编程语言实现一个编译器或解释器。我们将重点介绍几种语言，并简要介绍其他语言。请下载SWI-Prolog，Haskell平台和SBCL（表中的链接）。 ...
评级：0 浏览量：48 收藏量：0 资源大小：9.96MB 上传时间：2021-05-12

: transpiler:用于编程语言的通用翻译器该器的是用JavaScript编写的，但实验版本也正在Prolog中编写。该项目的主要目标是将TypeScript和JavaScript转换为可或本机代码的其他语言。例如，可以将转换： var a = {a1:1,b:2}; var b = function(a1:...
评级：0 浏览量：499 收藏量：0 资源大小：5.23MB 上传时间：2021-05-11

: 程序员考试刷题-COMP3071-2015:2015年秋季编程语言课程文件/作业。还包含我在制作编程语言方面的错误尝试我们会有期中考试、实验和作业，但对于最终项目，我们将为编程语言实现编译器或解释器。我们将深入关注几种语言，并简要介绍其他语言。请下载 SWI-Prolog、Haskell Platform 和 SBCL（表中的链接）。语执行范例...
评级：0 浏览量：59 收藏量：0 资源大小：6.4MB 上传时间：2021-07-07

: matlab说话代码-chem2kinetic:将化学方程式系统转换为基于运动速率方程式的系统较高级别的程序包括一个编译器（用Prolog编写），该编译器可以从允许对化学方程式进行参数化的较高级别的规范语言（HLCeL）开始生成许多化学方程式。如果您的化学系统表示一个空间系统，其中每个节点的分子可以用不
评级：0 浏览量：86 收藏量：0 资源大小：452KB 上传时间：2021-05-22

: shen-c:Shen 编程语言的 AC 实现 Shen 是由开发的一种可移植的函数式编程语言，它提供模式匹配Lambda 演算一致性用于定义领域特定语言的宏可选的懒惰评估基于可选静态类型检查一个集成的全功能 Prolog 一个内置的编译器，Shen-YACC Shen-C被实现为...
评级：0 浏览量：101 收藏量：0 资源大小：213KB 上传时间：2021-05-30

: suite:stupidsing的个人程序套件一些功能性程序语言解释器和编译器，和一些（又名Prolog）并将其 B树实现和一个懒惰的实现一些数值算法，BFGS或其他... 股票报价阅读器，一些股票指标计算（以及一些无法赚钱的危险定量策略）一些代码随src / ...
评级：0 浏览量：25 收藏量：0 资源大小：1.25MB 上传时间：2021-04-07

: matlab加密代码-school-projects:从我在FITBUT的学士和硕士课程中收集的所有项目 matlab加密代码学校项目我在FIT BUT的学士和硕士课程中收集的所有项目。...IFJ-正式语言和编译器 [C] INP-计算机系统设计 [VHDL] [VHDL]（处理器能够解释BrainF * ck语言） IPA-高级汇编语言 [带内
评级：0 浏览量：60 收藏量：0 资源大小：175.74MB 上传时间：2021-05-27

: 沃伦的抽象机器：教程重构Warren's Abstract Machine: A Tutorial Reconstruction 关于Warren的Abstract Machine（实现Prolog编译器的事实标准）的简短教程。
评级：0 浏览量：86 收藏量：0 资源大小：87B 上传时间：2019-11-15

: ECLiPSe_6.1_164_i386_nt.exe ECLiPSe CLP ECLiPSe约束逻辑编程系统 ECLiPSe约束逻辑编程系统旨在解决组合优化问题，开发新的约束求解器技术及其混合技术以及...包括用于ISO-Prolog的处理器 编译器/调试器/开发工具图书馆藏书主机环境接口
评级：0 浏览量：60 收藏量：0 资源大小：19.98MB 上传时间：2020-03-05

: Mercury-开源 Mercury是一种现代逻辑/功能编程语言。 Mercury系统包括编译器，调试器，库，示例代码，分析器等。Mercury被设计为逻辑编程语言（例如Prolog）的后继产品。
评级：0 浏览量：48 收藏量：0 资源大小：14.88MB 上传时间：2021-05-01

: Logtalk逻辑编程语言V3.03.0官方安装版 Logtal逻辑编程语言是一个面向对象的逻辑编程语言，可以使用最多的Prolog implementations作为后端编译器。作为一个多模式语言，它支持原型和classes，协议（接口），通过基于分类组成的基于组件的编程，事件驱动...
评级：0 浏览量：102 收藏量：0 资源大小：2.05MB 上传时间：2019-07-29

: 程序员应该掌握和了解的（编译器是高手和专家编写的） 7、 HTML、XML等是标识性语言。 8、 Prolog是人工智能语言。 9、操作系统OS的概念和原理。（Windows98，Windows2000，Windows NT，UNIX，Linux，等等都是OS，还有一些实时OS，嵌入...
评级：0 浏览量：307 收藏量：0 资源大小：5KB 上传时间：2019-03-02

: Turbo Basic1.0 Turbo BASIC是一个BASIC编译器与编辑器，最初由Robert 'Bob' Zale所开发，后来被Borland买下。当Borland决定不再贩售之后， Zale从Borland手中买回它，并改名为PowerBASIC并创立PowerBASIC公司，，以继续支援与研发...
评级：0 浏览量：78 收藏量：0 资源大小：225KB 上传时间：2012-06-29

: Turbo Basic全集　Turbo BASIC是一个BASIC编译器与编辑器，最初由Robert 'Bob' Zale所开发，后来被Borland买下。当Borland决定不再贩售之后， Zale从Borland手中买回它，并改名为PowerBASIC并创立PowerBASIC公司，，以继续支援与...
评级：0 浏览量：250 收藏量：0 资源大小：1.27MB 上传时间：2012-09-14

: 计算机程序的正确定义程序设计语言，它们是像汉语、英语一样的抽象的语法规则，编程工具是指 Visual C++ 6.0、Visual Basic 6.0、Delphi 7.0等包括了源代码编辑器、程序编译器 ，在内的集成化、可视化的软件开发工具。C++源程序可以在...
评级：0 浏览量：797 收藏量：2 资源大小：5KB 上传时间：2010-04-10

资源推荐

相关资源标签

prolog Visual SWI-Prolog 人工智能 Windows7 Turbo Basic1.0 Basic全集 prolog编译器 c程序编译器程序员应用软件计算机科学 ECLiPSe 约束逻辑编程系统 language programming-language interpreter bytecode compiler virtual-machine logic constraints ciao common-lisp assembler forth Rust logic-programming Java 开源软件 javascript java assembly hacktoberfest HTML transpiler source-to-source webassembly 系统开源 parser repl dlang 编译器/解释器 Others 文档资料 rust 逻辑推理