true. but it gets interesting. You can solve some amazing "puzzles" with surprisingly simple programs.. the automatic tree search in prolog is quite cool.