Answer Set Programming (ASP) is a famous logic language for knowledge representation. which has been really successful in the last years. as witnessed by the great interest into the development of efficient solvers for ASP. Yet. https://pipingrockers.shop/product-category/sangre-de-grado/