Definite_clause_grammar loading ...