File:Prolog.1.B.Intro.20180226.pdf