Input
Predicate read(X) reads a term from a file or the keyboard.
Output
Predicate write(X) writes X to to a file or the screen, writeln(X) adds newline, nl outputs a newline on the screen, tab(X) tabs X number of spaces.
