Kowalski formula = "Logic Programming Prolog?
The reference the tutorial "The Logic Programming Paradigm and Prolog " of
Apt KR (University of Amsterdam, document formats Monday, March 29, 2004
Cool Facebook Profile Image
PS; really is Chapter 15 of the book " Concepts in Programming Languages \u200b\u200bApt"), is now bringing Lambda the Ultimate interesting comments that should not be missed by anyone interested in this programming language and logic programming in general. For example, Peter Van Roy , Catholic University of Louvain (Belgium), a leading researcher in programming language implementations in the domains of declarative programming, logic, and with restrictions, among others, criticizes-in a clear reference to own
- el, in his opinion, excessive "absorption" by some developers ... "[...] There is a Certain class of logic programmers choose to ignore anything Who That Does Not Fit Into The cozy little world of Prolog-style logic programming. " [Source ] ... almost exclusively interested in the logic programming paradigm when it is confined to Prolog and other languages \u200b\u200bare very similar (so they reach the equation implicitly assume logic programming Prolog = ), without considering other lines of development and investigation n that, based on the foundations and contributions of this paradigm, seek complement the shortcomings and limitations of Prolog "pure" when it comes to represent and solve certain problems and computational approaches. As an example of the routes in developing novel alternative programming systems, "unrelated" or related to some extent with the logic programming paradigm, we can cite the
Project Mercury, the Mozart programming system , language logic / functional Curry, etc., etc. also very interesting commentary N. Krishnaswami, in response to a question from another participant says succinctly, with an example, what is the constraint programming [ 1] [2
] or 
constraint programming (CP) that in the paradigm logical / declarative leads to Constraint Logic Programming or Constraint Logic Programming (CLP). The discussion on the terms mentioned at the beginning of this entry, raised by Peter Van Roy, of course continues the thread of reference made Lambda the Ultimate, so I can only recommend reading the new comments that will arise out of previous .
Subscribe to:
Post Comments (Atom)
0 comments:
Post a Comment