Prolog

Interesting papers, projects that use it, learning resources, ...

Everything related to Prolog is welcome in the most logical thread of /pro_^log/.


listp([]).
listp([X|Y]) :- listp(Y).


So to find out if a list is a list we need to go through the whole list???!?!? Isn't that a little inefficient?