file
file(-FileName, -ProcList) file(+FileName, ?ProcList)
FileNameis successively unified with the names of consulted files. ProcList is bound to the list of procedure names defined in the respective files.
load, unload