SLG rrezoluce (Selective Linear General) je v logice rozšířená rezoluce konvergující pro všechny logické programy s negací operující na uzavřených literálech. Jedná se o rozšíření rezoluce používané Prologem, která se ovšem může zacyklit (neboť Prolog vyhodnocuje rekurzivně zleva), kdežto SLG rezoluce vždy konverguje.Příkladem je definice symetrického predikátu "hraničí s": borders(X,Y) :- borders_as(X, Y). borders(X,Y) :- borders_as(Y, X).
| Property | Value |
|---|
| prop-cs:wikiPageUsesTemplate
| |
| dbpedia-owl:abstract
|
- SLG rrezoluce (Selective Linear General) je v logice rozšířená rezoluce konvergující pro všechny logické programy s negací operující na uzavřených literálech. Jedná se o rozšíření rezoluce používané Prologem, která se ovšem může zacyklit (neboť Prolog vyhodnocuje rekurzivně zleva), kdežto SLG rezoluce vždy konverguje.Příkladem je definice symetrického predikátu "hraničí s": borders(X,Y) :- borders_as(X, Y). borders(X,Y) :- borders_as(Y, X).
|
| dbpedia-owl:wikiPageID
| |
| dbpedia-owl:wikiPageLength
| |
| dbpedia-owl:wikiPageOutDegree
| |
| dbpedia-owl:wikiPageRevisionID
| |
| dbpedia-owl:wikiPageWikiLink
| |
| dcterms:subject
| |
| rdfs:comment
|
- SLG rrezoluce (Selective Linear General) je v logice rozšířená rezoluce konvergující pro všechny logické programy s negací operující na uzavřených literálech. Jedná se o rozšíření rezoluce používané Prologem, která se ovšem může zacyklit (neboť Prolog vyhodnocuje rekurzivně zleva), kdežto SLG rezoluce vždy konverguje.Příkladem je definice symetrického predikátu "hraničí s": borders(X,Y) :- borders_as(X, Y). borders(X,Y) :- borders_as(Y, X).
|
| rdfs:label
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
