@prefix epid: .
@prefix dc: .
@prefix geo: .
@prefix bibo: .
@prefix epx: .
@prefix owl: .
@prefix void: .
@prefix event: .
@prefix skos: .
@prefix xsd: .
@prefix cc: .
@prefix ep: .
@prefix foaf: .
@prefix rdf: .
@prefix rdfs: .
@prefix eprel: .
@prefix dct: .
<>
foaf:primaryTopic ;
rdfs:comment "The repository administrator has not yet configured an RDF license."^^xsd:string .
rdfs:label "coloring.ps"^^xsd:string .
dc:format "text/html";
dc:title "HTML Summary of #424 \n\nColoring Maps and the Kowalski Doctrine\n\n";
foaf:primaryTopic .
dct:hasPart ;
ep:hasFile ;
eprel:hasVersion ;
eprel:hasVolatileVersion ;
eprel:haspreviewThumbnailVersion ;
rdf:type bibo:Document,
ep:Document;
rdfs:label "Coloring Maps and the Kowalski Doctrine (Postscript)"^^xsd:string .
rdf:_1 .
bibo:abstract "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, 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, 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 "^^xsd:string;
bibo:authorList ;
bibo:status ;
dct:creator ;
dct:date "1982";
dct:isPartOf ;
dct:subject ;
dct:title "Coloring Maps and the Kowalski Doctrine"^^xsd:string;
ep:hasDocument ;
rdf:type bibo:Article,
ep:EPrint,
ep:PreprintEPrint;
rdfs:seeAlso .
rdf:type skos:Concept;
skos:prefLabel "Artificial Intelligence" .
foaf:familyName "McCarthy"^^xsd:string;
foaf:givenName "John"^^xsd:string;
foaf:name "John McCarthy"^^xsd:string;
rdf:type foaf:Person .