Getting started quickly in the SWI-Prolog manual

ID: getting-started-quickly-in-the-swi-prolog-manual

Locator: Manual§2.1, adding facts/rules, loading programs and executing queries.

New to topics? Read the docs here!