Modeling Blocks World with Prolog