Pattern directed invocation programming language

From Wikipedia, the free encyclopedia

You have new messages (last change).
Please help improve this article or section by expanding it.
Further information might be found on the talk page or at requests for expansion.
This article has been tagged since January 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.

Retrieved from "http://en.wikipedia.org../../../p/a/t/Pattern_directed_invocation_programming_language.html"