To those who seek a basic introduction (albeit very basic) Prolog language, I recommend reading the article or "white paper" of Gerardo Rossel "programming as GICA " " A tour of logic programming and one of its most representative languages: Prolog, artificial intelligence classic, which applies in many ways in the development of commercial software " [Source: intro of the article] The introduction of the article is defined very clearly and concisely the famous "equation" of Kowalski (which may recall I spent a rather lengthy comment, not as clear and concise - long ago, in the notation " About Kowalski formula). We read in its introduction: "[...] equation [...] Robert Kowalski provides the essential idea of \u200b\u200blogic programming: algorithm = logic + control. That is, an algorithm is constructed by specifying a formal language knowledge (first-order logic), and the problem is solved by an inference engine (control) acting on that. "Published in number 7
through
page Amzi!- , a company application development and expert systems based on the fundamentals of programming logic in synergy or in conjunction with other technologies and languages:
- "Amzi! specialize in products and services for Developing and deploying application components Integrated Knowledge That Apply logical s, such as pricing rules, configuration logic, Insurance Regulations, diagnostic and advisory Knowledge, grammar rules, message translation rules, and semantic relationships. [...]" [Source: Amzi! Technology, Products and Services Overview
- ] Especially renowned is its development environment
- Amzi! Prolog + Logic Server ("Embeddable, extendable Prolog for programmers to build high-performance rule-based systems.. ") Moreover, under" Articles & Links "found in English, a number of introductions, tutorials, articles cles, and other references on the language Prolog and its many practical aspects, with special attention to its application in the development of expert systems.
- Finally, mention that, incredibly and undeservedly (and not false modesty), referenced in this publication space blog format from which I write, in "Related Links", which can be found at the end of the article by Gerardo Rossel. The publication of this brief review has nothing to do with that fact, actually I noticed it once I started writing more carefully and reread the text of article ...
0 comments:
Post a Comment