Mathematical Aspects Of Logic Programming Semantics by Pascal Hitzler & Anthony Seda