下面是一些代码来测试SWI-Prolog术语的类型/元类型: % var,nonvar are meta-question about the state of computation, not about如果我们运行goal rt,我们会得到这样的结果(格式不是很好): 这些测试通过: For [] we have: [atomic,ground,nonvar,blob(reserved_symbol),number,rational]
F
我正在做,不能完全理解这个问题中的一些术语。
有人将二叉树表示为以下类型的字符串(参见示例):"a(b(d,e),c(,f(g,))“。编写一个OCaml函数,它生成这个字符串表示,如果树是像往常一样给出的( Empty或Node(x,l,r)项)。
然后编写一个函数来做这个逆运算;例如,给定字符串表示,以通常的形式构造树。最后,介绍了可以双向使用的combine the two predicate