Talk:Prolog syntax and semantics