Logic and Prolog
Spencer-smith, R.:
Logic and Prolog - New York : Harvester Wheatsheaf 1991 - 392 p.
0000745010229
Prolog: Logic Programming
005.115 / S62
Logic and Prolog - New York : Harvester Wheatsheaf 1991 - 392 p.
0000745010229
Prolog: Logic Programming
005.115 / S62