Patrick Hayes [1973] argued that the "usual sharp distinction that is made between the processes of computation and deduction, is misleading".
Contrary to Kowalski and Hayes, Carl Hewitt claimed that logical deduction was incapable of carrying out concurrent computation in open systems[citation needed].
The published claim was that because of the indeterminacy of the physical basis of the Actor model, that no kind of deductive mathematical logic could escape the limitation.
This became important later when researchers attempted to extend Prolog (which had some basis in logic programming) to concurrent computation using message passing.
Keith Clark, Hervé Gallaire, Steve Gregory, Vijay Saraswat, Udi Shapiro, Kazunori Ueda, etc.
This is an argument against including pattern-directed invocation using unification and extraction of messages from data structure streams as fundamental primitives.
But compare Shapiro's survey of Prolog-like concurrent programming languages for arguments for inclusion.