As big Prolog fan, thanks for sharing those resources.