Logic programming : new frontiers /
Brough, D. R.
London : Intellect,
1992.