Loading...
Please wait, while we are loading the content...
Similar Documents
Logic and Logic Programming : a personal account
| Content Provider | Semantic Scholar |
|---|---|
| Author | Miller, D. |
| Abstract | I was asked to provide a personal perspective on some aspects of the development of logic programming. Since 2006 is the 20 year anniversary of my first paper on logic programming, I will use this invitation to reflect on those two decades and to list some lessons I have learned and some future directions for research. In 1983, I tried to make the jump from being a student in Mathematics to a junior professor in Computer Science. I guessed that a good way to proceed was to apply what I had learned about logic and theorem proving as a graduate student to the topic of logic programming. Now 20 years later, I am still working at relating logic and computation, but now I commonly apply lessons that I have learned from computing to understanding logical principles. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/personal-perspective06.pdf |
| Alternate Webpage(s) | http://www.lix.polytechnique.fr/~dale/papers/personal-perspective06.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
