我有一个学校的分配,最近开始学习Prolog。
这是练习(非常简单):
在 Prolog 中编写一个程序来查找给定列表的长度。例如,
length([a, b, c, d, e]).
应该打印 5
我真的不知道如何length/1
为我创建一个谓词。这是我的代码:
length([],0).
length([_|T],N) :- length(T,X), N is X+1.
现在,我问我的老师如何把它变成length/1
谓词,他告诉我要使用write/1
谓词。我查找了write/1
谓词,但我不明白这将如何帮助我编写length/1
谓词。任何提示/技巧来做到这一点?
需要明确的是,这是家庭作业。