Prolog is a logic programming language developed in the early 1970s that ... knowledge base, plus queries on that knowledge base. To get started, download and install SWI-Prolog. You run it at the ...