mat*_*mat 10
if/then/else可以用( - >)/ 2和(;)/ 2获得:
( If ->
Then
; Else
)
Run Code Online (Sandbox Code Playgroud)
有时这很有用.一般来说(当条件包含变量时),它会使你的程序不健全和不完整.只要可以使用模式匹配来描述条件,就应该使用模式匹配.然后,您不仅可以检查,还可以生成解决方案.
如果您正在寻找这样的陈述,那么您不会在Prolog中思考:)
开玩笑,顺便说一下,没有简单的翻译或者if和else,但你可以考虑一下他们应该如何进行prolog: