Title: Logic and programming (Robot Technology Series: Volume 5) (v. 5)