Talk:Prolog syntax and semantics/to do