Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Pattern_directed_invocation_programming_language> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items 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 wikiPageRevisionID "465846953".
- Pattern_directed_invocation_programming_language hasPhotoCollection Pattern_directed_invocation_programming_language.
- Pattern_directed_invocation_programming_language subject Category:Programming_language_classification.
- 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=465846953.
- Pattern_directed_invocation_programming_language isPrimaryTopicOf Pattern_directed_invocation_programming_language.