<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://cs.wikipedia.org/wiki/SLG_rezoluce?oldid=15874991> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://dbpedia.org/ontology/abstract>	"SLG rrezoluce (Selective Linear General) je v logice roz\u0161\u00ED\u0159en\u00E1 rezoluce konverguj\u00EDc\u00ED pro v\u0161echny logick\u00E9 programy s negac\u00ED operuj\u00EDc\u00ED na uzav\u0159en\u00FDch liter\u00E1lech. Jedn\u00E1 se o roz\u0161\u00ED\u0159en\u00ED rezoluce pou\u017E\u00EDvan\u00E9 Prologem, kter\u00E1 se ov\u0161em m\u016F\u017Ee zacyklit (nebo\u0165 Prolog vyhodnocuje rekurzivn\u011B zleva), kde\u017Eto SLG rezoluce v\u017Edy konverguje.P\u0159\u00EDkladem je definice symetrick\u00E9ho predik\u00E1tu \"hrani\u010D\u00ED s\": borders(X,Y) :- borders_as(X, Y). borders(X,Y) :- borders_as(Y, X)."@cs .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Kategorie:Logick\u00E9_programov\u00E1n\u00ED> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://www.w3.org/2000/01/rdf-schema#label>	"SLG rezoluce"@cs .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Logick\u00E9_programov\u00E1n\u00ED> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://dbpedia.org/ontology/wikiPageID>	"1360959"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://cs.dbpedia.org/property/wikiPageUsesTemplate>	<http://cs.dbpedia.org/resource/\u0160ablona:Neov\u011B\u0159eno> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://xmlns.com/foaf/0.1/isPrimaryTopicOf>	<http://cs.wikipedia.org/wiki/SLG_rezoluce> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Predik\u00E1tov\u00E1_logika> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Prolog> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"15874991"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Rezoluce> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://dbpedia.org/ontology/wikiPageOutDegree>	"5"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://dbpedia.org/ontology/wikiPageLength>	"562"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://www.w3.org/2000/01/rdf-schema#comment>	"SLG rrezoluce (Selective Linear General) je v logice roz\u0161\u00ED\u0159en\u00E1 rezoluce konverguj\u00EDc\u00ED pro v\u0161echny logick\u00E9 programy s negac\u00ED operuj\u00EDc\u00ED na uzav\u0159en\u00FDch liter\u00E1lech. Jedn\u00E1 se o roz\u0161\u00ED\u0159en\u00ED rezoluce pou\u017E\u00EDvan\u00E9 Prologem, kter\u00E1 se ov\u0161em m\u016F\u017Ee zacyklit (nebo\u0165 Prolog vyhodnocuje rekurzivn\u011B zleva), kde\u017Eto SLG rezoluce v\u017Edy konverguje.P\u0159\u00EDkladem je definice symetrick\u00E9ho predik\u00E1tu \"hrani\u010D\u00ED s\": borders(X,Y) :- borders_as(X, Y). borders(X,Y) :- borders_as(Y, X)."@cs .
<http://cs.dbpedia.org/resource/SLG_rezoluce>	<http://purl.org/dc/terms/subject>	<http://cs.dbpedia.org/resource/Kategorie:Logick\u00E9_programov\u00E1n\u00ED> .