Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Pattern_directed_invocation_programming_language> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Pattern_directed_invocation_programming_language abstract "In computer science, pattern-directed invocation programming languages are programming languages in which procedures are invoked indirectly by specifying a pattern for a set of procedures as opposed to specifying one directly by name, pointer, URL, etc., as in conventional programming. These languages were initiated by Planner which featured high level plans invoked by patterns for assertions and goals. They include logic programming languages such as Prolog as a special case. Ether was a pattern-directed invocation language introduced in the Scientific Community Metaphor.Pattern-directed invocation is a commonly used and more practical alternative to first-order theorem proving in automated theorem proving, and is the primary method of implementing a blackboard system for automated reasoning in general. In it, a database of facts (a la Prolog) is augmented with a set of procedures called demons. A demon is automatically invoked whenever a term matching the demon's pattern is added to the database.Pattern-directed invocation is related to rule-based programming.".
- Pattern_directed_invocation_programming_language wikiPageID "2076159".
- Pattern_directed_invocation_programming_language wikiPageLength "1547".
- Pattern_directed_invocation_programming_language wikiPageOutDegree "14".
- Pattern_directed_invocation_programming_language wikiPageRevisionID "640879973".
- Pattern_directed_invocation_programming_language wikiPageWikiLink Automated_reasoning.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Automated_theorem_proving.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Blackboard_system.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Category:Programming_language_classification.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Computer_science.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Ether_(programming_language).
- Pattern_directed_invocation_programming_language wikiPageWikiLink Planner_(programming_language).
- Pattern_directed_invocation_programming_language wikiPageWikiLink Planner_programming_language.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Pointer_(computer_programming).
- Pattern_directed_invocation_programming_language wikiPageWikiLink Programming_language.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Programming_languages.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Prolog.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Rule-based.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Scientific_Community_Metaphor.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Scientific_community_metaphor.
- Pattern_directed_invocation_programming_language wikiPageWikiLink Uniform_Resource_Locator.
- Pattern_directed_invocation_programming_language hasPhotoCollection Pattern_directed_invocation_programming_language.
- Pattern_directed_invocation_programming_language wikiPageUsesTemplate Template:Comp-sci-stub.
- Pattern_directed_invocation_programming_language wikiPageUsesTemplate Template:Orphan.
- Pattern_directed_invocation_programming_language wikiPageUsesTemplate Template:Refimprove.
- Pattern_directed_invocation_programming_language subject Category:Programming_language_classification.
- Pattern_directed_invocation_programming_language hypernym Languages.
- Pattern_directed_invocation_programming_language type Article.
- Pattern_directed_invocation_programming_language type Language.
- Pattern_directed_invocation_programming_language type Article.
- Pattern_directed_invocation_programming_language comment "In computer science, pattern-directed invocation programming languages are programming languages in which procedures are invoked indirectly by specifying a pattern for a set of procedures as opposed to specifying one directly by name, pointer, URL, etc., as in conventional programming. These languages were initiated by Planner which featured high level plans invoked by patterns for assertions and goals. They include logic programming languages such as Prolog as a special case.".
- Pattern_directed_invocation_programming_language label "Pattern directed invocation programming language".
- Pattern_directed_invocation_programming_language sameAs m.06khr0.
- Pattern_directed_invocation_programming_language sameAs Q7148377.
- Pattern_directed_invocation_programming_language sameAs Q7148377.
- Pattern_directed_invocation_programming_language wasDerivedFrom Pattern_directed_invocation_programming_language?oldid=640879973.
- Pattern_directed_invocation_programming_language isPrimaryTopicOf Pattern_directed_invocation_programming_language.