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

搜索资源列表

  1. 开源prolog软件

  2. 里边包含三个开源prolog的开发环境，gnu-prolog b-prolog swi-prolog，均为windows环境的setup安装包，应用方便

  3. 所属分类：其它

    • 发布日期：2010-01-21
    • 文件大小：11534336
    • 提供者：azheng757

  1. GNU-prolog实现八皇后问题和时间转换问题

  2. prolog语言的简单程序，输出八皇后问题和时间转换问题

  3. 所属分类：其它

    • 发布日期：2011-05-07
    • 文件大小：2048
    • 提供者：usereli

  1. 《用Prolog建专家系统》学习笔记

  2. 学习笔记摘录：专家系统的开发工具，准备选用GNU Prolog, CLIPS, PyCLIPS, EreSye。其实，这4个工具分属2类语言，第一个是逻辑编程的Prolog，其他3个是函数编程的LISP。 它们都是比较冷门的语言工具。LISP类的那3个比较陌生，还需努力学习掌握。

  3. 所属分类：C/C++

    • 发布日期：2011-11-07
    • 文件大小：25600
    • 提供者：leehomwanglj

  1. GNU prolog

  2. 在csdn中下了几个prolog包，发现都不管用，自己在网络上找到了一个，并附加简单学习方法指导，在windows平台上可以正常使用，是学习prolog的好帮手。

  3. 所属分类：其它

    • 发布日期：2015-03-31
    • 文件大小：4194304
    • 提供者：xpj1983

  1. gprolog document

  2. prolog的gnu实现 gprolog的手册。对人工智能感兴趣的可以看看

  3. 所属分类：其它

    • 发布日期：2015-08-12
    • 文件大小：1048576
    • 提供者：gale320

  1. 基于Web的计算器LastCalc.zip

  2. LastCalc是一个强大但易于使用的基于Web的计算器，结合了Google计算器、电子表格和函数语言的功能，借鉴了声明性语言如Prolog，它甚至能让用户编写从网络中网页上存取信息的函数。LastCalc有一个强大但友好的JQuery前端，支持实时语法高亮和在线帮助。为了加速开发，LastCalc作者Ian Clarke宣布在GNU Affero General Public Licens许可证下开源。 标签：LastCalc

  3. 所属分类：其它

    • 发布日期：2019-07-17
    • 文件大小：311296
    • 提供者：weixin_39840924

  1. Submitty:作业提交，自动评分和TA评分系统-源码

  2. 用法 系统说明位于 背景 Submitty是推出的开源编程作业提交系统。 Submitty项目托管在。 主要特点 安全测试多种语言：Python，C / C ++，Java，Scheme，Prolog，SPIM，以及GNU / Linux上可用的任何语言！ 可自定义的自动评分系统，可立即反馈给学生 先进的分级工具：静态分析，JUnit，代码覆盖率，内存调试器等。 通过拖放，zip上传或版本控制来上传学生 通过多次提交，错误的“迟到”政策，隐藏的测试来纠正错误 辅助讲师/ TA手动评分的界面，

  3. 所属分类：其它

    • 发布日期：2021-03-07
    • 文件大小：18874368
    • 提供者：weixin_42134168