- glist(+G:goal)// is det
- Translates a PHA goal into a difference list representation.
- load(+FileSpec) is semidet
- Clears the current program and loads a new one from the given file spec.
The current program is not cleared if the given file cannot be read.
- edit// is det
- Edit loaded program.