Guarded Horn Clauses (Logic Programming Series) | lit.salon