PPT Slide
Working with cars and cdrs is different!
A list with a car of X and
is represented by the notation
When this pattern is matched against a list,
ok( [ _ | A ] ) : - ok( A ) .
| ?- ok( [ a , b , c , d ] ) .
| ? - ok( [ b , c , d , e ] ) .
* _ is a wild card variable.