Prolog would have been a better choice