Pattern directed invocation programming language

From Wikipedia, the free encyclopedia

This section does not cite any references or sources. (December 2007) Please help improve this section by adding citations to reliable sources. Unverifiable material may be challenged and removed.

Please help improve this article or section by expanding it. Further information might be found on the talk page or at requests for expansion. (December 2007)

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.