Loading...
Please wait, while we are loading the content...
Similar Documents
Introduction to the special issue on Prolog systems
| Content Provider | Scilit |
|---|---|
| Author | Demoen, Bart Banda, Maria Garcia D. E. L. A. |
| Copyright Year | 2011 |
| Description | It has now been 40 years since the birth of the Prolog language and of its first implementation by A. Colmerauer and P. Roussel. Since then, a large number of Prolog systems have been implemented. While the core of the Prolog language has not changed much in these 40 years, Prolog systems have undergone an extraordinary evolution that stems from two main sources. One is the trend to extend Prolog to incorporate ideas from other language paradigms that have proved useful in real-world applications. This includes concurrency, parallelism, higher order predicates, object-oriented programming, Web interfaces, processing of large amounts of data, and flexible developer tools that enhance reliability and robustness through assertions. A second source of change is the exploration of ideas for which Prolog systems are uniquely suitable and that have led to the creation of new programming paradigms. This includes tabling, constraint logic programming, answer set programming, and probabilistic logic programming. |
| Related Links | https://core.ac.uk/download/pdf/34531095.pdf https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C22ECC7C92D508BDE7CF843E725A2A12/S1471068411000524a.pdf/div-class-title-introduction-to-the-special-issue-on-prolog-systems-div.pdf |
| Ending Page | 4 |
| Page Count | 4 |
| Starting Page | 1 |
| ISSN | 14710684 |
| e-ISSN | 14753081 |
| DOI | 10.1017/s1471068411000524 |
| Journal | Theory and Practice of Logic Programming |
| Issue Number | 1-2 |
| Volume Number | 12 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2012-01-01 |
| Access Restriction | Open |
| Subject Keyword | Theory and Practice of Logic Programming Hardware and Architecture Prolog Systems Prolog Language Logic Programming |
| Content Type | Text |
| Resource Type | Article |
| Subject | Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software |
