Matches in SemOpenAlex for { <https://semopenalex.org/work/W2085449453> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2085449453 endingPage "28" @default.
- W2085449453 startingPage "27" @default.
- W2085449453 abstract "In Prolog programs, arguments are often used to exchange information between relations. This kind of communication is tedious when a large amount of information has to be passed around. One way of solving the problem is to add assertions (unit clauses) to the knowledge base in execution time. These assertions are maintained as global data structures. They are typically managed by the addition and deletion of clauses. However, most of the Prolog implementations offer little support for these operations. In C-Prolog [1], for example, a clause can only be added as the first or last clause of a relation. It would be useful if one could manipulate clauses in the same way as one manipulates lists. For example, sorting the assertions in the working memory of an expert system may lead the problem solver to follow a better path in the search space. In many applications, the working memory is build up incrementally. Thus, the insertion sort is a natural sorting method. The sorting may be combined with the addition of assertions using an assertcl(C) relation. A C-Prolog implementation of the articl(C) relation given below." @default.
- W2085449453 created "2016-06-24" @default.
- W2085449453 creator A5002407489 @default.
- W2085449453 date "1985-01-01" @default.
- W2085449453 modified "2023-10-01" @default.
- W2085449453 title "A note on sorting Prolog assertions" @default.
- W2085449453 cites W2013095245 @default.
- W2085449453 doi "https://doi.org/10.1145/1056541.1056545" @default.
- W2085449453 hasPublicationYear "1985" @default.
- W2085449453 type Work @default.
- W2085449453 sameAs 2085449453 @default.
- W2085449453 citedByCount "0" @default.
- W2085449453 crossrefType "journal-article" @default.
- W2085449453 hasAuthorship W2085449453A5002407489 @default.
- W2085449453 hasBestOaLocation W20854494531 @default.
- W2085449453 hasConcept C108094655 @default.
- W2085449453 hasConcept C111696304 @default.
- W2085449453 hasConcept C199360897 @default.
- W2085449453 hasConcept C25343380 @default.
- W2085449453 hasConcept C2777735758 @default.
- W2085449453 hasConcept C41008148 @default.
- W2085449453 hasConcept C77088390 @default.
- W2085449453 hasConcept C80444323 @default.
- W2085449453 hasConcept C81721847 @default.
- W2085449453 hasConcept C88548561 @default.
- W2085449453 hasConceptScore W2085449453C108094655 @default.
- W2085449453 hasConceptScore W2085449453C111696304 @default.
- W2085449453 hasConceptScore W2085449453C199360897 @default.
- W2085449453 hasConceptScore W2085449453C25343380 @default.
- W2085449453 hasConceptScore W2085449453C2777735758 @default.
- W2085449453 hasConceptScore W2085449453C41008148 @default.
- W2085449453 hasConceptScore W2085449453C77088390 @default.
- W2085449453 hasConceptScore W2085449453C80444323 @default.
- W2085449453 hasConceptScore W2085449453C81721847 @default.
- W2085449453 hasConceptScore W2085449453C88548561 @default.
- W2085449453 hasIssue "91" @default.
- W2085449453 hasLocation W20854494531 @default.
- W2085449453 hasOpenAccess W2085449453 @default.
- W2085449453 hasPrimaryLocation W20854494531 @default.
- W2085449453 hasRelatedWork W1984090248 @default.
- W2085449453 hasRelatedWork W2046429440 @default.
- W2085449453 hasRelatedWork W2085265870 @default.
- W2085449453 hasRelatedWork W2362374543 @default.
- W2085449453 hasRelatedWork W2371194072 @default.
- W2085449453 hasRelatedWork W2386545545 @default.
- W2085449453 hasRelatedWork W2994182992 @default.
- W2085449453 hasRelatedWork W2998900262 @default.
- W2085449453 hasRelatedWork W4320153962 @default.
- W2085449453 hasRelatedWork W2473250120 @default.
- W2085449453 isParatext "false" @default.
- W2085449453 isRetracted "false" @default.
- W2085449453 magId "2085449453" @default.
- W2085449453 workType "article" @default.