Books by UK Conference on Logic Programming (3rd 1991 Edinburgh, Scotland)