STERLING (L) / SHAPIRD (E)

The Art of Prolog : Advanced Programming Teachniques Textual Document - P.H.I.(3E) E 1994 - XXXIX,508