Prolog syntax overview