Prolog Validate Структура списка

Question

Эй, ребята, я начал разработку Пролога вчера, мне нужна помощь, для моего университета я должен создать функцию проверки списка.

It should accept the lists: 

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

And Reject 
[a,[b|c]] 

Когда I`m понимание мой университет скрипт правильно:

Код должен быть написан с переменными. И как «listCheck/1»

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

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

Знаете ли вы хорошую страницу входа для парней, которые переключаются на пролограммирование? Я программирую C# и Java с некоторых лет, но прологи кажутся мне очень странными. :-)

Answer 1

Итак, сегодня я пришел к следующему коду, этот код работает, но из-за рекурсии он возвращает «true», «false» для данного списка «[a, [b | c]]». Есть ли способ отменить рекурсию, когда часть [b | c] не работает?

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