Prolog验证列表结构

Question

嘿伙计我昨天开始开发Prolog我需要一些帮助，对于我的大学，我应该创建一个列表检查功能。

It should accept the lists:

[a]
[a,b]
[a,b,c]

And Reject
[a,[b|c]]

当我正确理解我的大学脚本时：

代码应该用变量编写。和＆＃34; listCheck / 1＆＃34;

/**
Accept single value lists
*/
listCheck([A]).

/*
When there is a Head|Tail list check the Tail
*/
listCheck([Head|Tail]):-listCheck(Tail).

对于那些转向prolog编程的人来说，你知道什么是好的入门页吗？我从几年开始编程C＃和Java，但对我来说，prolog似乎很奇怪。 ： - ）

Answer 1

所以今天我来到下面的代码，这段代码有效，但由于递归，它返回＆＃34; true＆＃34;，＆＃34; false＆＃34;对于给定的列表＆＃34; [a，[b | c]]＆＃34;。当部分[b | c]失败时，有没有办法取消递归？

/**
Accept single value lists
*/
checkList([]).
checkList([E]).
checkList([Head|Tail]):-not(atom(Tail)), atom(Head),checkList(Tail).