Prolog type checking

Question

Is there a way to determine the type of an element within a list in Prolog? I know that variables aren't explicitly typed in Prolog, but I need to check whether an element is a number, a specific character, etc. How can this be accomplished?

Answer 1

You could try this code:

isList([_|_]).
isList([]).

Hope it helps.