|
Alma-0 is a multi-paradigm computer programming language. This language is an augmented version of the imperative Modula-2 language with logic-programming features and convenient backtracking capability. It is small, strongly typed, and combines constraint programming, a limited number of features inspired by logic programming and supports imperative paradigms. The language advocates declarative programming, the designers claim that search-oriented solutions built with it are substantially simpler than their counterparts written in purely imperative or logic programming style. Alma-0 provides natural, high-level constructs for the construction of search trees. ==Overview== Since the designers of Alma-0 wanted to create a distinct and substantially simpler proposal than previous attempts at integration of declarative programming constructs (such as automatic backtracking) into imperative programming, the design of Alma-0 was guided by the following four principles: * the logic-based extension should be ''downward'' compatible with the underlying imperative programming language * the logic-based extension should be ''upward'' compatible with a future extension that will support constraint programming * the constructs that will implement the extension should support and encourage declarative programming. * the extension should be kept small (nine new features have been proposed and implemented) Alma-0 can be viewed not only as a specific and concrete programming language proposal, but also as an example of a ''generic method'' for extending any imperative programming language with features that support declarative programming. The feasibility of the Alma-0 approach has been demonstrated through a full implementation of the language (including a description of its semantics) for a subset of Modula-2. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Alma-0」の詳細全文を読む スポンサード リンク
|