Prolog : programming for artificial intelligence /
Bratko, Ivan.
Wokingham : Addison-Wesley,
1990.