Your first day
Prolog is a declarative programming language that unlike other languages uses
relations expressed in facts and rules to compute its logic. On Uberspace we use
the SWI implementation of Prolog.
We only provide the latest version of swi-prolog from the stable branch.