Added Prolog files in subdirectory.