Prolog Queries and Answers

We interact with Prolog by posting queries. If a query terminates, we get an answer answer from the system. There are different kinds of answers. However, they all follow the same general principle: queries and corresponding answers are semantically equivalent.

prolog,toplevel,