I am reading http://cs.union.edu/~striegnk/learn-prolog-now/html/node3.html#subsec.l1.kb1, but I am having trouble running the following predicate: SICStus 4.0.1 (x86-win32-nt-4): Tue May 15 21:17...