Knowledge Systems through PROLOG: An Introduction by Steven H. Kim | Menrva Books