First examples in Prolog