illustrating how using old prolog-macro gets rid of error