What has the author W F Clocksin written?

W. F. Clocksin has written:

'Clause and Effect'

'Programming in Prolog' -- subject(s): Prolog (Computer program language)

'Logic programming and the specification of circuits'