Techniques Of Prolog Programming by Tu Van Le, T.U. Van Le & Le T. Van