如何比较prolog中的字符串?

如何比较prolog中的字符串?,prolog,Prolog,我想对String1=

我想对String1= 我到处都找不到这个。显然,String1=
我将非常感谢任何帮助,两小时后我就要完成这个项目了,这让我在过去的一段时间里一直耽搁着(感觉像是这样)。

String1=
更改为
String1@=

例如:

?- abc @=< abc.
?-abc@=