Did you know ... Search Documentation:
Pack pha -- prolog/pha_load.pl
PublicShow source
 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.