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