在prolog语言中判断子串

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

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

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