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

该标签暂无描述

What does the s() predicate do in Prolog?

迷人小祖宗·2020-07-09 07:29· 评论·文章

如何通过序言使用SUCC递归查询运行？(How does prolog run through re

三岁会撩人·2019-09-16 18:02· 评论·文章

太多的回溯：为什么出现“重做”在这里？(Too much backtracking: why is

别忘想泡老子·2019-07-31 06:25· 评论·文章

可逆树长度的关系(Reversible tree length relation)

姐就是有狂的资本·2019-07-17 17:30· 评论·文章

什么是最佳的绿色削减接班人算术总和？(What are the optimal green cuts

迷人小祖宗·2019-07-03 16:45· 评论·文章

Explanation of Prolog recursive procedure

贪生不怕死·2019-06-27 07:28· 评论·文章

Prolog的后继符号产生不完全的结果，并无限循环Prolog的后继符号产生不完全的结果，并无限循环

贼婆χ·2019-05-13 13:01· 评论·文章

How does prolog run through recursive queries usin

在下西门庆·2019-05-03 18:00· 评论·文章

Dividing two integers with an alternative way

相关推荐>>·2019-03-05 03:41· 评论·文章

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

别忘想泡老子·2019-02-26 03:12· 评论·文章

What's the SLD tree for this query?

乱世女痞·2019-02-22 09:21· 评论·文章

Convert peano number s(N) to integer in Prolog

相关推荐>>·2019-02-22 05:17· 评论·文章

Reversible tree length relation

神经病院院长·2019-02-17 12:25· 评论·文章

What are the optimal green cuts for successor arit

太酷不给撩·2019-01-27 23:16· 评论·文章

Prolog predicate - infinite loop

别忘想泡老子·2019-01-20 10:50· 评论·文章

Better termination for s(X)-sum

放荡不羁爱自由·2019-01-20 10:24· 评论·文章

相关标签