前言：在表单验证中，我们经常会使用到正则，因为我们需要用它来判断用户输入的字符是否为合法的，如果是不合法的，那么应该提示用户输入错误，并不让提交至服务器。我们也可以通过正则表达式，从用户输入的字符串中过滤并获取我们想要的特定部分。总而言之，正则表达式是非常强大的。 方法一、谓词 ...

要判断两个多边形的关系，实际上属于几何图形空间关系判断。几何图形并不只有多边形一种，它包括点、线、面构成的任何图形，两两之间相互关系也有很多种，因此空间关系非常复杂。根据前人的研究，总结出了DE-9I ...

前言 　　开心一刻 我要飞的更高，飞的更高，啊！ 谓词 　　SQL 中的谓词指的是：返回值是逻辑值的函数。我们知道函数的返回值有可能是数字、字符串或者日期等等，但谓词的返回值全部是逻辑值（TRUE/FALSE/UNKNOW），谓词是一种特殊的函数。关于逻辑值，可以查看：神奇的 SQL ...

该系列文章是网上的Prolog学习资料：www.learnprolognow.org的中文翻译。希望能够通过翻译此学习资料，达到两个目的：第一、系统学习prolog的知识；第二、提升英文文章理解 ...