Oh, that feels so retro. That's the kind of stuff I was taught going through Stanford in the 1980s, at the beginning of the "AI Winter".<p>I've actually done a blocks world on a real robot (an IBM RS-1, of all things) using that approach, programming in LISP. Yes, it worked. No, it can't deal with an unstructured or dynamic world. Predicate calculus is fine for program proving, but terrible for real world robots.