?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Coloring+Maps+and+the+Kowalski+Doctrine&rft.creator=McCarthy%2C+John&rft.subject=Artificial+Intelligence&rft.description=It+is+attractive+to+regard+an+algorithm+as+composed+of+the+logic+determining+what+the+results+are+and+the+control+determining+how+the+result+is+obtained.+Logic+programmers+like+to+regard+programming+as+controlled+deduction%2C+and+there+have+been+several+proposals+for+controlling+the+deduction+expressed+by+a+Prolog+program+and+not+always+using+Prolog's+normal+backtracking+algorithm.+The+present+note+discusses+a+map+coloring+program+proposed+by+Pereira+and+Porto+and+two+coloring+algorithms+that+can+be+regarded+as+control+applied+to+its+logic.+However%2C+the+control+mechanisms+required+go+far+beyond+those+that+have+been+contemplated+in+the+Prolog+literature.++Robert+Kowalski+(1979)+enunciated+the+doctrine+expressed+by+the+formula+&rft.date=1982&rft.type=Preprint&rft.type=NonPeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F424%2F2%2Fcoloring.ps&rft.identifier=++McCarthy%2C+John++(1982)+Coloring+Maps+and+the+Kowalski+Doctrine.++%5BPreprint%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F424%2F