6.23 | Program state

6.23.1 | `consult/1`, `'.'/2` - program consult

Templates

  `consult(+atom_or_atom_list)
  '.'(+atom, +atom_list)`

Description
`consult(Files)` compiles and loads into memory each file of the list `Files`. Each file is compiled for byte-code using the GNU Prolog compiler (section 2.4) then loaded using `load/1` (section 6.23.2). It is possible to specify `user` as a file name to directly enter the program from the terminal. `Files` can be also a single file name (i.e. an atom). Refer to the section concerning the consult of a Prolog program for more information (section 2.2.3).
The final file name of a file is computed using the predicates `prolog_file_name/2` (section 6.26.3) and `absolute_file_name/2` (section 6.26.1).
`[ File | Files ]`, i.e. `'.'(File, Files)` is equivalent to `consult([ File | Files ])`.
Errors

`Files` is a partial list or a list with an element `E` which is a variable |  | `instantiation_error`
`Files` is neither a partial list nor a list nor an atom |  | `type_error(list, Files)`
an element `E` of the `Files` list is neither a variable nor an atom |  | `type_error(atom, E)`
an element `E` of the `Files` list is an atom but not a valid pathname |  | `domain_error(os_path, E)`
an element `E` of the `Files` list is a valid pathname but does not correspond to an existing source |  | `existence_error(source_sink, E)`
an error occurs executing a directive |  | see `call/1` errors (section 5.2.3)

Portability
GNU Prolog predicates.

6.23.2 | `load/1`

Templates

  `load(+atom_or_atom_list)`

Description
`load(Files)` loads into memory each file of the list `Files`. Each file must have been previously compiled for byte-code using the GNU Prolog compiler (section 2.4). `Files` can be also a single file name (i.e. an atom).
The final file name of a file is computed using the predicates `absolute_file_name/2` (section 6.26.1). If no suffix is given `'.wbc'` is appended to the file name.
Errors

`Files` is a partial list or a list with an element `E` which is a variable |  | `instantiation_error`
`Files` is neither a partial list nor a list nor an atom |  | `type_error(list, Files)`
an element `E` of the `Files` list is neither a variable nor an atom |  | `type_error(atom, E)`
an element `E` of the `Files` list is an atom but not a valid pathname |  | `domain_error(os_path, E)`
an element `E` of the `Files` list is a valid pathname but does not correspond to an existing source |  | `existence_error(source_sink, E)`
an error occurs executing a directive |  | see `call/1` errors (section 5.2.3)

Portability
GNU Prolog predicate.

6.23.3 | `listing/1`, `listing/0`

Templates

  `listing(+predicate_indicator)
  listing(+atom)
  listing`

Description
`listing(Pred)` lists the clauses of the consulted predicate whose predicate indicator is `Pred`. `Pred` can also be a single atom in which case all predicates whose name is `Pred` are listed (of any arity). This predicate uses `portray_clause/2` (section 6.14.8) to output the clauses.
`listing` lists all clauses of all consulted predicates.
Errors

`Pred` is a variable |  | `instantiation_error`
`Pred` is neither a variable nor predicate indicator or an atom |  | `type_error(predicate_indicator, Pred)`

Portability
GNU Prolog predicate.

Copyright (C) 1999,2000 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
More about the copyright