如何找到列表的第一个要素并在r prolog中找到答案

Question

Prolog非常新。我正在尝试创建一个简单的递归规则，以在列表中找到nth元素。例如，如果我有字符串或数字列表，我希望能够使用查询

?- findme([dog, cat , bird], 1, R). 
R = dog 
?- findme([9,8,7,6,5], 3,R). 
R= 7
?- findme([mouse,cheese,cat,milk], 5, R).
R = false

我希望不是使用内置NTH0，也没有R为n -1

Answer 1

这是我的实现：

find([],N,false):-N>0.    
find([H|_],1,H).   
find([_|T],N,R) :- N1 is N-1, find(T,N1,R).

一些示例：

?- find([dog, cat , bird], 1, R).
R = dog ;
false.
?- find([mouse,cheese,cat,milk], 5, R).
R = false.
?- find([9,8,7,6,5], 3,R).
R = 7 ;
false.

Answer 2

以下是预期的输出。

find([],N) :- write("There is no such element in the list"), nl.    
find([Element|List],1) :- write("The element is ", Element), nl.   
find([Element|List],N) :- N1 = N-1, find(List,N1).

输出：

find([1,2,3,4],3)
The element is 3
Yes
find([1,2,3,4],0)
There is no such element in the list
Yes
find([1,2,3,4],5)
There is no such element in the list
Yes
find([1,2,4,3],4)
The element is 3
Yes

更新

find([],N,false) :- N>0.
find([Element|List],1,Element).   
find([Element|List],N,R) :- N1 = N-1, find(List,N1,R).