我知道这是有限制的,但是有没有一种合理的方法在Prolog代码中加入条件指令,这样它就可以在GNU或SWI中合理地工作?我认为至少在最简单的情况下,内置谓词(如SWI中的sumlist和GNU中的sum_list )在拼写上彼此不匹配。或者SWI有assert,但GNU没有。所以如果能有这样的东西就好了:SWI version of stuff
:- else</
我不知道为什么下面的条件总是返回错误,即使是真的。我比较的是用户在字符串变量'classNameGlobal‘中输入文本的结果,以及从表的列生成字符串值的DB查询的第二个结果。每当我运行控制切换到else条件,而不是运行if part -.-
请看一下。此外,我也使用相同的方法将字符串存储在数据库中,即将其转换为大写字母,然后修剪任何额外的空格!甚至当i