On 2/17/2015 2:38 PM, Paul Tyson wrote:
>> Fundamental principle: A modest amount logic can clarify and relate
>> the patterns that relate and interconnect data of any kind in any
>> format whatsoever. Prolog is what XSLT should have been -- and still
>> could be. (It's easy to map XSLT rules to Prolog rules for the legacy
>> stuff -- using Prolog, of course.)
>
> Intriguing. References to examples, implementations, reports? (01)
The term 'definite clause grammar' (DCG) is used for syntactic sugaring
of Prolog rules. DCG rules are directly mapped to Prolog rules, but
they hide some of the detail. For a tutorial on DCG, see
http://www.pathwayslms.com/swipltuts/dcg/ (02)
Note the comment just before the conclusion:
> Every so often a new Prolog programmer will ask "where's the
> regular expression library?"
>
> With DCG's built into the language there's no need for a regex library. (03)
This version of DCG uses SWI Prolog, which is freely available. For
an overview of Prolog, see http://en.wikipedia.org/wiki/Prolog (04)
For the use of Prolog in IBM's Watson, see the following two references: (05)
http://www.cs.nmsu.edu/ALP/wp-content/uploads/2011/03/PrologAndWatson1.pdf (06)
http://brenocon.com/watson_special_issue/02%20question%20analysis.pdf (07)
For the announcement that Experian bought Prologia, see below.
I copied that page before it disappeared from the WWW. (08)
Note that it emphasizes a major area of application of Prologia.
They continued to sell their version of Prolog, but their main
source of income came from consulting on and developing financial
applications. (It's hard to compete with freebie Prolog software.) (09)
For many more references about logic, ontology, databases, etc.,
see http://www.jfsowa.com/ikl . (010)
John
_____________________________________________________________________ (011)
http://www.experiangroup.com/corporate/news/releases/2005/2005-10-25/ (012)
Experian expands risk management capabilities in France with
acquisition of Prologia (013)
25 October 2005 (014)
Experian, the global information solutions company, has strengthened its
leading position in the market for decision support, analytics for risk
management with the acquisition of Prologia, a software company
specialising in financial risk planning and management. Prologia is
particularly strong in the French mortgage sector. (015)
Created in 1984, Prologia has been part of the Air Liquide services
group since 2000. Prologia will become part of Experian-Scorex,
Experian's specialist decision support business, and will enable
Experian-Scorex to enlarge its portfolio of risk management solutions. (016)
"Decision solutions is a key activity of Experian and we continue to
invest both in research and development as well as in acquisitions.
Prologia brings us its expertise and knowledge of the property market,
which is key to the banking and finance sectors. We will be better armed
and positioned to answer their needs. This acquisition further
emphasizes our market-leading role in the decision support arena," said
Roger Aubrook, President of Experian-Scorex. (017)
Anne-Françoise Douix, Managing Director of Prologia, added: "We are
really proud of becoming part of Experian. The combination of our
complementary product portfolios will strengthen both our companies,
providing our clients with more advanced solutions, while giving
Prologia immediate access to international markets for its solutions." (018)
The acquisition is consistent with Experian's global strategy of
acquiring complementary businesses that provide new products, new data
or entry into new vertical or regional markets, while leveraging the
core assets of Experian. (019)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (020)
|