The Prolog Toplevel
The toplevel is how we interact with a Prolog system. We post queries, and Prolog responds with answers. Various features can make a toplevel convenient and fun to use. Modern Prolog systems implement several innovative toplevel features that are worth emulating in all Prolog systems, and further improvements are still possible.