在哪里可以找到Prolog命令的列表？

Question

我是Prolog的新手，正在尝试编写一个程序来检查一些值是否可以是日期，但我不知道我能用这门语言做什么。我不知道命令。

例如，我想要获取字符串的长度，但我不知道这是否可行。

有人能给我看一下Prolog命令的列表吗？我正在为Java使用tuProlog。

顺便说一下，我想做的程序是这样的:接收两个或三个参数，并检查是否是某种类型的日期(例如: 10/2000,2011/09，11/03/1191等)。

Answer 1

SICStus Prolog的documentation描述了它的标准库。我不完全确定它的哪些部分是或不是Prolog实现的标准部分，但它可能会对您有所帮助。

Answer 2

您可以查看tuProlog at this location第4.4节地址内置谓词的用户指南。

此链接也可能对您有所帮助。Working with strings in Prolog

对于解析，假设tuProlog中有一个库是用于DCGs的：Prolog DCG presentation

您还可以在Stackoverflow中搜索Prolog和dcg，以查看其他人的问题和答案。

Answer 3

tuProlog的用户指南很容易找到：Documentation。第5章包含您可以随意使用的Prolog命令。

从您的问题中，我推断您收到的日期是一个字符串，而您不确定日期字符串是以哪种格式到达的。

我会使用text_term/2将字符串转换为一个术语(我不是百分之百确定，我使用的Prolog系统对此有一个不同的命名谓词)。然后，您可以通过将Term与所需结构的Term进行统一来测试它是否包含一个或两个斜杠(或者是其他格式，或者根本不是日期)：

Term = D/M/Y

并测试这是否为有效日期：

text_term(Text,Term),
( Term = D/M/Y, valid_date(D,M,Y) ->
  true
; Term = M/D/Y, valid_date(D,M,Y) ->
  true
; ...

->是"if-then"，;是"else“。您需要编写一个用于测试有效日期的谓词，我在上面称之为valid_date/3。