Computational Modelling of Robot Personhood and RelationalityWilliam F. Clocksin · First published 2023Open the Tome
Programming in PrologWilliam F. Clocksin, Christopher S. Mellish · First published 1981 · Latest edition 2003Open the Tome
Programmieren in PrologWilliam F. Clocksin, Heinz Sterner, Christopher S. Mellish · First published 1990Open the Tome
Logic programming and the specification of circuitsWilliam F. Clocksin · First published 1984Open the Tome