4 ms·Strong second for Art of Prolog (assuming that's the Shapiro text you're recommending?)by stephencanon 8y agoStrong second for Art of Prolog (assuming that's the Shapiro text you're recommending?)