Logic Programming by Books Llc & Dhd Warren