logic.pl restructured. canMove implemented.