The Life of a Logic Programming System

• Type: Article in International Conference Proceedings Book
• Date: 2008

Authors

Vitor Santos Costa (Author) FCUP

Conference proceedings International

Title: LOGIC PROGRAMMING, PROCEEDINGS

Pages: 1-6

24th International Conference on Logic Programming (ICLP)

Udine, ITALY, DEC 09-13, 2008

Indexing

ISI Web of Knowledge - 7 Citations

Scopus - 11 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-004-41R

DOI: 10.1007/978-3-540-89982-2_1

Abstract (EN): Logic Programming and the Prolog language have a major role in Computing. Prolog, and its derived languages, have been widely used in a impressive variety of application domains. Thus, a bit of the history of Logic Programming reflects in the history of systems such as Dec-10 Prolog [32], M-Prolog [15], C-Prolog [19], Quintus Prolog [20], SICStus Prolog [6], BIM-Prolog [17], ECLiPSe [1], BinProlog [30], SWI-Prolog [34], CIAO [14], and B-Prolog [35], to mention but a few. I briefly present the evolution of one such system, YAP, and present a personal perspective on the challenges ahead for YAP (and for Logic Programming). © 2008 Springer Berlin Heidelberg.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 6