Node:Basic Functions, Next:Evaluation Functions, Previous:How it Works - An Overview, Up:The Tcl/Tk Prolog Library