Logic Programming and Knowledge Engineering (International Computer Science Series) by Tore Amble | Menrva Books