Prolog - Day 1, demos and self-study.