prolog language教程

Everybody and his brother have had bad experiences with cryptic books, and papers that hide more than show the author's contributions. For in- stance, Pierre-Simon, Le Marquis de Laplace, inserted only one ̄gure in his M¶echanique Celeste and, like Mel Gibson, Peano has written his Arithmetices Prin