added Art of Prolog files