Often, writing a Prolog program consists of creating a (sometimes very sophisticated!) knowledge base, plus queries on that knowledge base. To get started, download and install SWI-Prolog. You run it ...