Fitted to our prolog project