首页 文章
  • 4 votes
     answers
     views

    剪切在Prolog中递归谓词的末尾

    pred(Args). pred(Args) :- goalA, goalB, !, pred(Args). pred(Args) :- goalC, goalD, !, pred(Args). 通常我会编写一个与内存性能相关的递归谓词,与上面代码片段的内容类似 . 使用剪切试图强制进行尾调用优化 . 我最近经历了一个大型的prol...

热门问题