Vous avez des commentaires sur SWI-Prolog?
3 + 4 =