An attempt to solve the Self Referential Aptitute Test in Prolog