Building Expert Systems in Prolog (Springer Compass International)