Inteligenta artificiala a nascut programarea logica la Stanford University (John McCarthy, Bertram Raphael, Cordell Green,…) si la Edinburgh (J. Alan Robinson, Pat Hayes, si Robert Kowalski).
Limbajul Prolog (istoria povestita de Colmerauer), atat de cunoscut, a aparut in 1971-1973 ca urmare acolaborarii stranse dintre Alain Colmerauer, Philippe Roussel (Marseille) si Robert Kowalski(Edinburgh).
Unde este programarea logica la aproape 40 de ani de existenta? Aplicatiile sale au depasit de mult sfera academica. Putem vedea o parte in tutorialul lui Benjamin Grosof (Vulcan Inc.), Mike Dean si Michael Kifer la ISWC 2010.
Leave a Reply