Renamed prolog contrib and added some concepts sources.