further clauses to prolog file