如果我有前线(cow(a,b,c))的话,我如何能够将这转变为编目(cow(a,b,c))?

如果L1 = [1,2,3]和L2 = [4,5,6],则L3 = [1,4,2,5,3,6]

我对Prolog和逻辑范式发展说了新话,但我认为这可以帮助我提出申请。 我的第一个怀疑是我能用这些语言做些什么。

I m stuck on a simple problem in prolog. Let s consider the program worker(bill). worker(smitt). worker(fred). worker(dany). worker(john). car(bmw). car(mazda). car(audi). owner(fred,mazda). owner(...

我正在尝试使用DCG将字符串拆分为两部分，用空格分隔。例如，abc def应该还给我“abc”&“def”。程序和DCG如下。

我有一套排名顺序的公司。 我想我的规则是检查某一具体名单上的公司是否处于排名,以及是否在名单上的所有公司都受到检查之前再发生。

我正在Prolog使用一种工具,在我执行之后,结果将出现在屏幕上,在Prolog壳体内。 我如何把这一结果复制到另一个档案中?

如果我界定了Prolog数据库中的所有数字,例如挖(0)、挖(1)、......挖掘(9)。 我能用什么问询来把人数最多的数字——在本案中是9人?

鉴于一系列制约因素,我谨高效地产生一套价值观。

我需要做的是打破原子。 E.g.:

在Prolog,与Haskell相比,哪些问题得到了更好的解决? 这两种语文之间的主要差别是什么?