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