我想要的是我定义:
marriedTo(martin, annie).
它还使以下成立:
marriedTo(annie, martin).
我尝试了以下内容,但它(显然)是一个无限循环.
marriedTo(X,Y) :- marriedTo(Y,X).
我怎么在Prolog中这样做？
我是SML的新手,我一直在使用SML/NJ.假设我有以下简单的功能:
fun test(x) = x / 2.0;
试验(0.3); 返回0.15.
我希望它也能用于测试(.3); 现在我收到以下错误:
- test(.3);
stdIn:23.6-23.9 Error: syntax error: deleting DOT INT RPAREN
当然,我希望它可以与任何形式的0.X一起使用.这可行吗？谢谢!