Sterling,Leon.

The Art of Prolog: Advanced programming Techniques - 2rd Edition - Cambridge The MIT Press 1994 - xxxv,509p. cm

9780262193382

STE