注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. d2：Discord，IRC和Telegram的基于命令的虚拟助手-源码

  2. D2 Discord，IRC和Telegram的通用助手，具有300多个命令，其中包括： :speech_balloon: 各种有用的聊天工具，例如民意测验或硬币翻转 :gear: 灵活的命令系统，支持链接，管道和权限 :game_die: 多人棋盘游戏，例如国际象棋或Uno :orange_book: 与各种Web API集成，包括WolframAlpha，MediaWiki，Reddit和OpenWeatherMap :framed_picture: 图像处理功能，包括生成动画G

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：13631488
    • 提供者：weixin_42118056

  1. 序言-源码

  2. 序言 使用“ Visual Prolog”进行Prolog编程的简单示例 *家庭树 一个代表族谱的序言程序，它包含以下关系（男，女， 父母，父亲，母亲，儿子，女儿，兄弟，姐妹， 祖父，祖母，阿姨，叔叔，堂兄，侄子，侄女）。

  3. 所属分类：其它

    • 发布日期：2021-02-12
    • 文件大小：2048
    • 提供者：weixin_42151729

  1. logtalk3：Logtalk-声明性的面向对象的逻辑编程语言-源码

  2. 该文件是Logtalk 一部分版权所有1998-2021 Paulo Moura SPDX-许可证标识符：Apache-2.0 根据Apache许可版本2.0（“许可”）许可； 除非遵守许可，否则不得使用此文件。 您可以在以下位置获得许可的副本： http://www.apache.org/licenses/LICENSE-2.0 除非适用法律要求或以书面形式同意，否则根据“许可”分发的软件将按“原样”分发，而没有任何明示或暗示的保证或条件。 有关许可下特定的语言管理权限和限制，请参阅许可

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：17825792
    • 提供者：weixin_42099633

  1. 普罗洛币-源码

  2. Prologcoin（工作名称） 任务：使Prolog（逻辑编程语言）与加密货币技术融合。 最新的Prologcoin二进制文件（自动更新） 如何从源代码构建 转到一些目录： > git clone https://github.com/datavetaren/prologcoin > git clone https://github.com/datavetaren/secp256k1-zkp > [install C++ Boost, 1.62 or later] >

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：608256
    • 提供者：weixin_42111465

  1. 编程语言：使用编程语言的简单程序-源码

  2. 编程语言 Ada编译命令：gnatmake bubble.adb Algol编译命令：a68g FizzBu​​zz.a68 C ++编译命令：g ++ quick.cpp -o quick Fortran编译命令：gfortran -o FizzBu​​zz FizzBu​​zz.f90 Prolog编译命令：swipl -s FizzBu​​zz.pl 方案编译命令：mit-scheme --load cocktail.scm Bash编译命令：bash bash.sh Per

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：7168
    • 提供者：weixin_42134234

  1. LPSL-源码

  2. LPSL lambda prolog的编译器，旨在编译为超快速的二进制文件。 LPSL（lambda prolog系统语言）采用lambda prolog代码并将其转换为fortran 2008。 如果您像我一样，那么您一直对逻辑编程感兴趣，而逻辑编程绝对对系统编程无意义。 您是否曾经想过在prolog中构建一个os，现在就可以。 LPSL是Teyjus的克隆，但支持指针，变量，更多内置在谓词中，编译以及对fortran和c库的支持。 对象级别的非参数多态性。 一阶和更高阶项。 编译

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：3072
    • 提供者：weixin_42098104

  1. 语言孵化器：学习编译器，解释器，代码生成，虚拟机，汇编器，JIT等-源码

  2. 语言孵化器 用于学习编译器，解释器，代码生成，虚拟机，汇编器，JIT等的孵化器/沙箱。 已经发展成单独项目的技巧： ：用Haskell编写的一个简单的x86汇编程序，目前它的操作码集非常有限； ：使用Scheme-to-SECD编译器在C中实现SECD虚拟机； 一些可能很有趣的原型项目： js / slothjs：尝试一种简单的，原始的，野蛮的Java解释器（将分析工作卸载到 ）； bf / bfjc：BrainFuck的原始但功能齐全的x86_64 JIT编译器，受eliben

  3. 所属分类：其它

    • 发布日期：2021-02-08
    • 文件大小：235520
    • 提供者：weixin_42117032

  1. SWRL_原因-源码

  2. SWRL_原因 这是在云计算环境中使用分布式表结构的SWRL推理引擎。 如果您有任何疑问或意见，请随时通过电子邮件[ ]与我们联系。 资料格式 该模型的数据为nt格式-基本上是Prolog语法： GraduateStudent47 type GraduateStudent GraduateStudent47 name "GraduateStudent47" GraduateStudent47 memberOf University7 GraduateStudent47 emailAddres

  3. 所属分类：其它

    • 发布日期：2021-02-08
    • 文件大小：8388608
    • 提供者：weixin_42138716

  1. wakabox-stats-源码

  2. Wakabox统计 帮助器项目，显示github个人资料页面的wakabox统计信息。 预习 Java 16 hrs 8 mins ■■■■■■■■■■■■■■■■■■■■▥□□□ 70.5% Kotlin 3 hrs 5 mins ■■■■■■▦□□□□□□□□□□□□□□□□□ 13.5% XML 1 hr 35 mins ■■■■■◱□□□□□□□□□□□□□□□□□□ 6.9% Groovy 32

  3. 所属分类：其它

    • 发布日期：2021-02-07
    • 文件大小：19456
    • 提供者：weixin_42115074

  1. Metu-CENG：我在Metu-CENG所做的所有作业，研究和项目-源码

  2. Metu-CENG 2016-2020 使用子模块克隆（因为有些课程有自己的存储库，所以我将它们绑定为该根存储库的子模块）： git clone --recursive gitgithub.com:ysyesilyurt/Metu-CENG.git 另外，如果在克隆时未使用--recursive选项，则可以键入： cd Metu-CENG git submodule init git submodule update 一些用python编写的ceng / cs的介绍 课程中的每项作业 用C

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：59768832
    • 提供者：weixin_42097533

  1. Pidgin：C＃最快的解析器组合器库-源码

  2. 皮金 由Stack Overflow开发的轻巧，快速且灵活的C＃解析库。 正在安装 Pidgin。 API文档托管。 讲解 上有一个使用Pidgin解析Prolog子集的教程。 入门 Pidgin是解析器组合器库，这是用于构造解析器的轻量级，高级声明式工具。 用解析器组合器编写的解析器看起来像是语言语法的高级规范，但是它们是用通用编程语言表达的，不需要特殊的工具即可生成可执行代码。 解析器组合器比正则表达式更强大-它们可以解析更大类的语言-但比像ANTLR这样的解析器生成器更简单易用。 Pi

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：121856
    • 提供者：weixin_42128015

  1. APE：临时控制英语（ACE）解析器-源码

  2. APE-ACE解析引擎 作者：Kaarel Kaljurand，Norbert E. Fuchs，Tobias Kuhn 介绍 本文档说明了如何编译和使用APE（ACE解析引擎）。 为了编译和运行APE，首先需要安装最新版本的SWI-Prolog。 SWI-Prolog是免费软件，可以从下载。 请注意，您最少需要安装以下SWI Prolog软件包： clib ， sgml和http 。 要查看源文件中嵌入的文档，您还需要pldoc 。 汇编 在运行APE之前，您必须编译APE源代码。 对于Wi

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：761856
    • 提供者：weixin_42099987

  1. ciao：Ciao编程语言-源码

  2. Ciao编程语言 是一种编程语言，它是基于基于逻辑的简单内核构建的，旨在进行扩展和模块化。 它支持： 约束逻辑编程（尤其是Prolog ） 不同级别的模块化（从小到大） 模块作为（便于分析的）编译单元 捆绑作为模块的集合 包作为实现语言扩展的模块（语法定义，编译选项，编译器插件） 断言（作为允许静态和动态验证以统一方式协同工作的同类框架） 多范例构造（元编程，高阶，可变，并发，函数等）并与外来代码接口 该存储库包含编译器和Ciao标准库。 与builder软件包一起使用，可以用作最小的

  3. 所属分类：其它

    • 发布日期：2021-01-31
    • 文件大小：2097152
    • 提供者：weixin_42168230

  1. python 示例分享—逻辑推理编程解决八皇后

  2. 可以和Haskell ， Prolog 一样做到模式匹配， 建立逻辑推到规则，描述问题，得出答案。 from pyDatalog import pyDatalog pyDatalog.create_atoms( 'N, N1, X, Y, X0, X1, X2, X3, X4, X5, X6, X7' ) pyDatalog.create_atoms( 'ok, queens, next_queen, pred, pred2' ) size = 8 ok( X1, N, X2 ) <=

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：25600
    • 提供者：weixin_38607088

  1. 基于推理机制的逻辑语言在Web服务组合机制中的应用

  2. 在实际的网络应用当中，相比较客户端的形式，人们更希望所能提供服务设施和应用程序的平台来自简单方便的网络浏览器。基于多阶段可用性的Web服务组合管理关键技术的研究成功，将解决目前服务组合管理中的许多关键问题。本文主要研究人工智能语言Prolog在该项目中的应用与发展，用情景演算理论作为推导理论，并用逻辑编程语言对服务内容加以描述，同时在Prolog的基础上扩展到对Golog语言的研究，并在此基础上针对Web服务需求做出了一些推论。

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：2097152
    • 提供者：weixin_38672794

  1. 面向社会网络的个性化隐私策略定义与实施

  2. 为了实现社会网络中个性化隐私保护，提出了支持个性化隐私偏好授权模型，采用基于一阶逻辑隐私偏好描述语言，表达用户个性化隐私需求；引入基于主体属性的访问者－角色授权规则和基于客体标签的角色－权限指派规则，解决了动态用户授权和细粒度访问权限指派问题；分析了隐私策略冲突各种情况，实现了基于Prolog逻辑编程的策略一致性自动验证；设计了面向社会网络个性化隐私策略管理和实施中间件，将个性化隐私策略管理有效地集成到对既有资源的访问控制系统中，实验表明策略冲突分析具有良好的执行效率。

  3. 所属分类：其它

    • 发布日期：2021-01-15
    • 文件大小：951296
    • 提供者：weixin_38725260

  1. 基于改进火力分配模型的综合防空火力智能优化分配

  2. 针对综合防空火力分配中,传统火力分配模型没有全面考虑火力通道射击效能因素,且在火力资源相对充足的情况下火力资源易浪费和易延误战机的问题,将射击有利度、飞临时间与威胁度等因素结合,构建一种新的综合防空火力分配模型.基于此模型,针对来袭目标、火力节点以及制导节点3者之间的火力优化匹配问题,提出一种基于深度优先搜索预处理的多种群并行布谷鸟搜索算法(PMPCSA).该方法采用Prolog智能规划语言构建目标-火力节点-制导节点匹配规则库,在规则库中利用深度优先搜索快速生成可行的目标-火力节点-制导节点的

  3. 所属分类：其它

    • 发布日期：2021-01-12
    • 文件大小：820224
    • 提供者：weixin_38661800

  1. prolog-源码

  2. 序言

  3. 所属分类：其它

    • 发布日期：2021-04-01
    • 文件大小：86016
    • 提供者：weixin_42117267

  1. 2020.2_G3_Logico_Sudoku-源码

  2. 数独 学科：FGA0210-PARADIGMAS DEPROGRAMAÇÃO-T01 诺鲁·格鲁波（Nro do Grupo） ：03 帕拉迪格玛：LOGICO 阿鲁诺斯 Matrícula 阿卢诺 17/0013651 若昂·加布里埃尔·安特尼斯（JoãoGabriel Antunes） 17/0163571 穆里洛·洛伊奥拉·丹塔斯 清醒 9x9数独解决方案，组合解决方案问题，数独解决方案，数独解决方案。 Ele pode encontrar解决了tab tabiroiros tot

  3. 所属分类：其它

    • 发布日期：2021-03-29
    • 文件大小：3072
    • 提供者：weixin_42117622
« 1 2 ... 29 30 31 32 33 34»