A prolog interpreter. Installation yay -S swi-prolog Usage swipl Loading Program [myfile]. or consule(lab9).