1. 标签
  2. successor-arithmetics
  3. 标签动态

该标签暂无描述

What does the s() predicate do in Prolog?

戒情不戒烟·2020-07-09 07:26·3 回答·问答

Explanation of Prolog recursive procedure

等我变得足够好·2019-06-27 06:46·3 回答·问答

How does prolog run through recursive queries usin

SAY GOODBYE·2019-05-03 17:47·3 回答·问答

Dividing two integers with an alternative way

做个烂人·2019-03-05 03:33·3 回答·问答

Too much backtracking: why is there a “redo” here?

We Are One·2019-02-26 03:07·2 回答·问答

What's the SLD tree for this query?

爱情/是我丢掉的垃圾·2019-02-22 08:47·3 回答·问答

Convert peano number s(N) to integer in Prolog

手持菜刀，她持情操·2019-02-22 05:31·3 回答·问答

Reversible tree length relation

迷人小祖宗·2019-02-17 12:49·2 回答·问答

What are the optimal green cuts for successor arit

爷、活的狠高调·2019-01-27 23:14·1 回答·问答

Prolog predicate - infinite loop

爷的心禁止访问·2019-01-20 10:46·2 回答·问答

Better termination for s(X)-sum

劳资没心，怎么记你·2019-01-20 09:48·4 回答·问答

Prolog successor notation yields incomplete result

够拽才男人·2019-01-03 00:19·2 回答·问答

相关标签