nopeAlgorithm = logic + control
(1979) : Robert Kowalski
DOI: https://doi.org/10.1145/359131.359136
#software_studies #programming #logic_programming #control_language #non_procedural_language #methodology #relational_data_structures #algorithm
#my_bibtex
(1979) : Robert Kowalski
DOI: https://doi.org/10.1145/359131.359136
#software_studies #programming #logic_programming #control_language #non_procedural_language #methodology #relational_data_structures #algorithm
#my_bibtex
Algorithm = logic + control | Communications of the ACM
The notion that computation = controlled deduction was first proposed by Pay Hayes [19] and more recently by Bibel [2] and Vaughn-Pratt [31]. A similar thesis that database systems should be regarded as consisting of a relational component, which ...