Illuminating Logic Programming: New book from Kifer and Liu focuses on key aspects of the programming behind AI