在prolog语言中判断子串

在Prolog语言中，可以使用自带的内置谓词substring进行子串的判断。该谓词需要三个参数：子串、原始字符串和子串在原始字符串中的起始下标。例如，如果我们要判断字符串"world"是否为字符串"hello world"的子串，可以写成：

substring("world", "hello world", _).

如果子串是原始字符串的一部分，则该谓词会返回true并打印一条成功的消息。如果子串不存在于原始字符串中，则返回false。

相关问题

在prolog语言中写一个谓词判断子串

是否为另一个字符串的子序列。

在Prolog中，可以使用递归的方式来判断一个字符串是否是另一个字符串的子序列。以下是实现的例子：

is_subsequence([],_).
is_subsequence([X|XS],[X|YS]) :- is_subsequence(XS,YS).
is_subsequence([X|XS],[_|YS]) :- is_subsequence([X|XS],YS).

is_substring(S,Sub) :- name(S, SList), name(Sub, SubList), is_subsequence(SubList, SList).

这个谓词将两个列表作为参数，并检查第二个列表是否是第一个列表的子序列。谓词 is_substring 使用 name/2 组合将字符串转换为 Prolog 列表，并调用 is_subsequence 来检查子序列是否存在。

用prolog语言判断两者亲属关系

可以使用Prolog语言中的家谱知识库来判断两者的亲属关系。例如，如果我们有以下家谱知识库：

father(john, peter).
father(john, mary).
mother(lisa, peter).
mother(lisa, mary).
sibling(X, Y) :- father(F, X), father(F, Y), mother(M, X), mother(M, Y).

我们可以使用以下查询来判断两个人之间的亲属关系：

?- sibling(peter, mary).
true.

这将返回true，表示peter和mary是兄弟姐妹。