Prolog

Learn Prolog Now 翻译 - 第六章 - 列表补遗 - 第一节，列表合并

内容提要：  列表合并的定义  列表合并的使用   列表合并的定义  我们将会定义一个很重要的谓词：append/3，其中所有的参数都是列表。从声明性角度去看，append(L1, L2, L3)的含义是列表L3是列表L1和列表L2的合并结果（合并意味着连接）。比如， 如果我们查询：    ?- append([a, b,
·2015-10-27 12:44

Prolog学习：基本概念

上一篇对Prolog有了一个感性的认识，今天介绍下Prolog中一些基本概念，想要用Prolog解决一些实际问题之前必须要先了解它们。
·2015-10-27 12:32

Prolog学习：数独和八皇后问题

上一篇简单介绍了下Prolog的一些基本概念，今天我们来利用这些基本概念解决两个问题：数独和八皇后问题。
·2015-10-27 11:11

.NET平台上的编译器不完全列表

NET上基于C＃扩展的编译器实现的框架，google了一下才发现，原来.NET平台上已经有了那么多种编译器了，其中包括了面向对象鼻祖的smlltallk，也包括了动态语言如python与ruby等，甚至prolog
·2015-10-21 13:29

Learn Prolog Now 翻译 - 第一章 - 事实，规则和查询 - 第一节， 一些简单的例子

 该系列文章是网上的Prolog学习资料：www.learnprolognow.org的中文翻译。
·2015-10-21 12:31

org.xml.sax.SAXParseException: Content is not allowed in prolog.

文件的开端错误 我少写了个< 网上也有说BOM什么的 原因及其解决办法： 1.xml编码错误 该xml是UTF-8编码的，如果该文件通过UltraEdit编辑后，会在无BOM头的UTF-8文件中加入BOM,但是DOM4j不认这个BOM(dom4j1.3)，解决的办法可以通过升级dom4j到1.6解决www.dom4j.org 什么是BOM？http://www.uni
·2015-10-21 12:59

.NET平台上的编译器不完全列表

NET上基于C＃扩展的编译器实现的框架，google了一下才发现，原来.NET平台上已经有了那么多种编译器了，其中包括了面向对象鼻祖的smlltallk，也包括了动态语言如python与ruby等，甚至prolog
·2015-10-21 11:53

宝智坚思与 Meridian Systems 携手推广 Prolog Manager

       中国公司采用 Prolog 软件来进行建筑项目管理-- 宝智坚思与 Meridian Systems 携手打造本地化软件，中国企业使用
·2015-10-21 11:47

黄得承的文章__“建设项目的费用控制以及项目费用管理系统的需求”—2005年9月13日

    文中有对Solomon的评价如下：     根据多年对市场成熟的商品化软件所作的仔细评估和使用，其中Meridian公司的Prolog
·2015-10-21 11:46

.NET平台上的编译器不完全列表（转别）

NET上基于C＃扩展的编译器实现的框架，google了一下才发现，原来.NET平台上已经有了那么多种编译器了，其中包括了面向对象鼻祖的smlltallk，也包括了动态语言如python与ruby等，甚至prolog
·2015-10-21 11:09

Learn Prolog Now 翻译 - 第三章 - 递归 - 第四节，更多的实践和练习

 在学习了前三章内容后，我们应该对Prolog编程有了直观和理性的认识。由于合一、变量初始化、证明搜索和递归都是Prolog的核心概念，所以有如下更多的一些实践和练习。
·2015-10-21 10:02

Learn Prolog Now 翻译 - 第三章 - 递归 - 第二节，规则顺序，目标顺序，终止

内容提要  规则顺序  目标顺序  终止    Prolog是第一门比较成功的逻辑编程语言。
·2015-10-21 10:01

prolog小案例二

这是保存到文件的代码如下：room(kitchen). room(office). room(hall). room('diningroom'). room(cellar). door(office,hall). door(kitchen,office). door(hall,'diningroom'). door(kitchen,cellar). door('diningroom',kitch
tb176·2015-09-15 16:00

SWI-prolog工具开发小案例

这是通过编译器做的一个小案例。第一步启用编译器打出[user].注点号结束。第二步写出事实和规则。Ctrl+D保存。第三步让它根据我们的事实和规则推理。1?-[user].|:likes(bei,basketball).|:likes(li,basketball).|:lover(X,Y):-likes(X,basketball),likes(Y,basketball).|:%user://1co
tb176·2015-09-11 14:00

prolog语法大全

官网在 http://www.gprolog.org/manual/gprolog.html#sec32这是比较全面的,网上其他资料片理论,记录下来!/0,7.2.1,7.2.3’.’/2,8.23.1(’,’)/2,7.2.2(*->)/2,7.2.2(-->)/2,8.17.1(->)/2,7.2.2(;)/2,7.2.2(=)/2,8.2.1(=..)/2,8.4.3(=:=)/2,8.6.
zwlq1314521·2015-08-11 11:00

Learn Prolog Now 翻译 - 第十二章 - 文件相关操作 - 第二节， 文件的读写

如果文件中的内容是以Prolog的语句形式存在的，那么在Prolog中读取这样的文件内容是很容易的。
amfpz66222·2015-08-10 13:00

tom启动报错：org.xml.sax.SAXParseException: Content is not allowed in prolog.

警告:Catalina.startusingconf/server.xml:org.xml.sax.SAXParseException:Contentisnotallowedinprolog.    atcom.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1231)   
艺晨光·2015-08-07 12:43

Learn Prolog Now 翻译 - 第九章 - 语句深究 - 第一节， 语句的比较

内容提要 判断两个语句是否相等 判断两个语句是否不等 判断两个语句是否相等 Prolog中有一个用于判断两个语句是否相等的重要谓词，即==/2。
·2015-07-24 16:00

Learn Prolog Now 翻译 - 第六章 - 列表补遗 - 第三节， 练习题和答案

练习题 6.1 如果一个列表是由两段连续并且相同的元素段组成，那么我们称之为双重列表。比如，[a, b, c, a, b, c]是双重列表（因为它是由两个[a, b, c]构成），[foo, gubble, foo, gubble]也是双重列表。另一方面，[foo, gubble, foo]就不是双重列表。请写出一个谓词doubled(List)，可以检查参数中的List是否为双重列表。 我的答
·2015-07-23 13:00

Learn Prolog Now 翻译 - 第六章 - 列表补遗 - 第二节，列表反转

内容提要： 　　append/3存在性能问题 　　列表反转原始版本 　　列表反转高效版本   append/3性能问题 　　谓词append/3十分有用，而且了解如果使用它搭建应用也很重要。但是同样重要的是，我们应该知道它可能是低效的源头，并且不是任何使用都想要使用它。 　　为什么append/3可能是低效的源头？如果回想它的工作方式，你就会注意到其缺点：append/3不
·2015-07-21 16:00

Learn Prolog Now 翻译 - 第五章 - 数字运算 - 第四节，练习题和答案

练习题5.1   Prolog会如何回答下面的问题？    1. X = 3*4.    2. X is 3*4.
·2015-07-18 16:00

Learn Prolog Now 翻译 - 第五章 - 数字运算 - 第三节，整数的比较

内容提要  Prolog中如何进行整数的比较  整数比较的实际应用   Prolog中如何进行整数的比较  一些Prolog的运算谓词可以实际地进行运算
·2015-07-17 11:00

Learn Prolog Now 翻译 - 第五章 - 数字运算 - 第二节，数字运算与列表

内容提要  列表中的一些数字运算，累加器  尾递归调用   列表中的一些数字运算，累加器  关于数字运算最为重要的应用，可能是获取一些数据结构体的一些有用事实，比如列表。例如，知道列表的长度是很有用的。我们将会给出一些使用列表和数字运算的例子。  一个列表的长度是多少？这里有一个递归定义：    1. 空列表的长度
·2015-07-16 10:00

Learn Prolog Now 翻译 - 第五章 - 数字运算 - 第一节，Prolog中的数字运算

内容提要  Prolog中的数字运算  Porlog运算的本质   Prolog中的数字运算  Prolog语言本身提供了一些基础的运算符号，对整数进行一些操作
·2015-07-15 21:00

Learn Prolog Now 翻译 - 第四章 - 列表 - 第四节，练习题和答案

练习题4.1  Prolog将会如何回答下面的查询？    1. [a, b, c, d] = [a, [b, c, d]].    2.
·2015-07-15 15:00

Learn Prolog Now 翻译 - 第四章 - 列表 - 第三节，递归遍历列表

通过递归遍历列表在Prolog是十分普遍的做法， 事实上，我们必须要掌握这项技能。所以我们学习如下的例子。    当我们使用列表的时候，我们经常会将一个列表和另一个
·2015-07-13 11:00

Learn Prolog Now 翻译 - 第四章 - 列表 - 第二节，列表成员

   是时候介绍第一个Prolog中通过递归操纵列表的程序例子了。我们最感兴趣的事情之一是，某个对象是否是列表中的元素。
·2015-07-11 14:00

Learn Prolog Now 翻译 - 第四章 - 列表 - 第一节，列表定义和使用

在Prolog中的列表，有如下的一些具体例子：  [mia, vincent, jules, yolanda]  [mia, robber(honey_bunny
·2015-07-10 16:00

Learn Prolog Now 翻译 - 第二章 - 合一和证明搜索 - 第一节， 合一

比如，Prolog将woman(X)和woman(mia)合一，所以把变量X初始化为mia。现在是时候更加细致地研究合一，因为合一是 Prolog中最为基础
·2015-07-01 10:00

Learn Prolog Now 翻译 - 第一章 - 事实，规则和查询 - 第三节， 练习题和答案

练习题 1.1 下面的字符序列哪些是原子，哪些是变量，哪些两者都不是？    1. vINCENT  2. Footmassage  3. variable23  4. Variable2000  5. big_kahuna_burger  6. 'big kahuna burger'  7. big
·2015-06-27 10:00

Learn Prolog Now 翻译 - 第一章 - 事实，规则和查询 - 第二节， Prolog语法介绍

 数字（Numbers）  变量（Variables）  复杂语句（Complex Terms）    通过上一节的学习，我们已经大概熟悉了Prolog
·2015-06-26 17:00

用Cython编译写出更快的Python代码

www.behnel.de/cython200910/talk.html以下为原文AboutmyselfPassionatePythondevelopersince2002afterBasic,Logo,Pascal,Prolog
toil·2015-06-19 10:00

终极解决方法_SAXParseException:Content is not allowed in prolog

    # 发现eclipse或者idea的工程配置有问题，在启动的时候tomcat也会报这样的错误   比如部署到tomcat的项目找不到web.xml也会报这样的错误提示。真不友好。   本次就是idea继承tomcat时，webapp目录配置不对，导致读取不到web.xml，本应该报错：找不到文件。但是tomcat启动的时候不管这些，他默认为项
fantaxy025025·2015-06-15 17:00

终极解决方法_SAXParseException:Content is not allowed in prolog

    # 发现eclipse或者idea的工程配置有问题，在启动的时候tomcat也会报这样的错误   比如部署到tomcat的项目找不到web.xml也会报这样的错误提示。真不友好。   本次就是idea继承tomcat时，webapp目录配置不对，导致读取不到web.xml，本应该报错：找不到文件。但是tomcat启动的时候不管这些，他默认为项
fantaxy025025·2015-06-15 17:00

在CentOS系统上安装Eclipse的教程

通过各种插件，Eclipse也可以用于其他编程语言开发应用程序：Ada、ABAP、C、C++、COBOL、Fortran、Haskell、JavaScript、Lasso、Natural、Perl、PHP、Prolog
佚名·2015-06-14 18:21

org.xml.sax.SAXParseException; lineNumber: 1; columnNumber: 1; Content is not allowed in prolog

用sax读xml文件时常会出现这个异常，一般上网可以看到的原因是:1.BOM  在java中测试inputstream中是否有bom可以用apachecommonsIO的org.apache.commons.io.input.BOMInputStream，如果你的项目有引入IO的情况下  BOM的基础知识可以参考:http://www.unicode.org/faq/utf_bom.html  也
xiaofanku·2015-05-10 00:00

sax错误：org.xml.sax.SAXParseException: Content is not allowed in prolog解决

原文地址：http://blog.sina.com.cn/s/blog_6d5d8b580100txon.html原因及其解决办法：1.xml编码错误该xml是UTF-8编码的，如果该文件通过UltraEdit编辑后，会在无BOM头的UTF-8文件中加入BOM,但是DOM4j不认这个BOM(dom4j1.3)，解决的办法可以通过升级dom4j到1.6解决www.dom4j.org什么是BOM？ht
zhangbest2009·2015-04-24 10:00

org.dom4j.DocumentException: Error on line 1 of document : Content is not allowed in prolog.

org.dom4j.DocumentException:Erroronline1ofdocument:Contentisnotallowedinprolog.Nestedexception:Contentisnotallowedinprolog.atorg.dom4j.io.SAXReader.read(SAXReader.java:482)atorg.dom4j.DocumentHelper.p
清风远行·2015-04-09 17:35

centos7安装eclipse

通过各种插件，Eclipse也可以用于其他编程语言开发应用程序：Ada、ABAP、C、C++、COBOL、Fortran、Haskell、JavaScript、Lasso、Natural、Perl、PHP、Prolog
Herylee·2015-04-06 00:00

ReactOS SYSCALL_PROLOG/TRAP_EPILOG及相关代码注释 (2) --ZwContinue

   ReactOSSYSCALL_PROLOG/TRAP_EPILOG及相关代码注释(1)一文中提到了KTRAP_FRAME：CPU从内核返回用户空间时，通过宏TRAP_EPILOG，恢复这个结构中的
lixiangminghate·2015-02-22 13:00

ReactOS SYSCALL_PROLOG/TRAP_EPILOG及相关代码注释 (1)

ReactOS源码中，通过系统调用/异常/中断进入内核，首先会遇到SYSCALL_PROLOG/TRAP_PROLOG之类的入口函数；当调KiServiceExit退出内核空间时，又会调用SYSCALL_PROLOG
Yuri800·2015-02-19 14:10

ReactOS SYSCALL_PROLOG/TRAP_EPILOG及相关代码注释 (1)

   ReactOS源码中，通过系统调用/异常/中断进入内核，首先会遇到SYSCALL_PROLOG/TRAP_PROLOG之类的入口函数；当调KiServiceExit退出内核空间时，又会调用SYSCALL_PROLOG
lixiangminghate·2015-02-19 14:00

无废话XML--XML约束（DTD）

基本术语  一、序言Prolog：包括XML声明(XMLDeclaration)和文档类型声明(DocumentTypeDeclaration)。  
u011794238·2014-12-22 15:00

编程语言

本文涉及到的编程语言：C、C++、Java、C#、Prolog、VB、Scala、Clojure、Haskell、Ada、Python、Ruby、Pascal（Delphi）、Fortran、Lisp、
yanguz123·2014-12-17 17:00

SAXParseException: Content is not allowed in prolog

项目的服务器是jboss，启动的时候因为日志兼容问题，所以每次启动都会报错的，所以以至于出现其他错误都不一定能及时发现。今天生产发布时就遇见了这样的问题，花费的时间还是有点长，结果还好，定位到了问题，并解决了问题。 问题： 项目内容定义的开源连接池配在了一个xml里面，服务启动后，其他页面正常，只要一使用该连接池，就提示类似于这样的信息：Attempt to refer to a un
zengshaotao·2014-12-11 20:00

论Java程序的运行机制

，如目前流行的Javac,c++,pascal,python,lisp,prolog,FoxPro，Delphi等等。   ，这两种语言都是面向机器的语言，和具体机器的指令系统密切相关。
疯狂小先锋·2014-12-09 22:38

Prolog小程序

坚决鄙视一介绍Prolog就用家谱树做例子的帖子/教材/指南。跟我八辈子不搭界的某银的家谱关我P事啊？就算自己的家谱。我爷爷的姑姑的侄儿的表姐的大舅子关我P事啊？
g9yuayon·2014-12-03 11:00

通过ant来批量执行jmeter脚本，并生成报告（附： 生成报告时报“Content is not allowed in prolog”这个错误的解决方案）

最近在使用jmeter写脚本来进行测试，最终写了很多份脚本，然后，就在想，这么多脚本，我不可能一个一个的手动去点啊，有没有什么办法来批量运行Jmeter脚本呢？这个时候，自然而然地想到了万能的ant，希望它能有相应的jmetertask。 哎，哎，查了一下，还真有，爽歪歪啊。 下面简单说明一下，如果使用：①首先，为了能够在ant中使用jmetertask，必须将“ant-jmeter-1.1.1.
Rainbow702·2014-11-22 16:00

通过ant来批量执行jmeter脚本，并生成报告（附： 生成报告时报“Content is not allowed in prolog”这个错误的解决方案）

阅读更多最近在使用jmeter写脚本来进行测试，最终写了很多份脚本，然后，就在想，这么多脚本，我不可能一个一个的手动去点啊，有没有什么办法来批量运行Jmeter脚本呢？这个时候，自然而然地想到了万能的ant，希望它能有相应的jmetertask。哎，哎，查了一下，还真有，爽歪歪啊。下面简单说明一下，如果使用：①首先，为了能够在ant中使用jmetertask，必须将“ant-jmeter-1.1.
Rainbow702·2014-11-22 16:00

通过ant来批量执行jmeter脚本，并生成报告（附： 生成报告时报“Content is not allowed in prolog”这个错误的解决方案）

阅读更多最近在使用jmeter写脚本来进行测试，最终写了很多份脚本，然后，就在想，这么多脚本，我不可能一个一个的手动去点啊，有没有什么办法来批量运行Jmeter脚本呢？这个时候，自然而然地想到了万能的ant，希望它能有相应的jmetertask。哎，哎，查了一下，还真有，爽歪歪啊。下面简单说明一下，如果使用：①首先，为了能够在ant中使用jmetertask，必须将“ant-jmeter-1.1.
Rainbow702·2014-11-22 16:00
上一页 2 3 4 5 6 7 8 9 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他