Anfonwch hwn fel neges destun: Logic, artificial intelligence, and robotics :