Horn clause logic with external procedures : towards a theoretical framework
Staffan Bonnier · 1989
Horn clause logic has certain properties which limit its usefulness as a programming language. In this thesis we concentrate on three such limitations: (1) Horn clause logic is not intended for the ...