Node:Basic functions, Next:Evaluation functions, Previous:How it works - an overview, Up:The Prolog library