Logic Programming for the Real World (1995)
by
Zoltan Somogyi
,
Fergus Henderson
,
Thomas Conway
,
Richard O'Keefe
| Venue: | Proceedings of the ILPS'95 Postconference Workshop on Visions for the Future of Logic Programming |
| Citations: | 7 - 0 self |
BibTeX
@INPROCEEDINGS{Somogyi95logicprogramming,
author = {Zoltan Somogyi and Fergus Henderson and Thomas Conway and Richard O'Keefe},
title = {Logic Programming for the Real World},
booktitle = {Proceedings of the ILPS'95 Postconference Workshop on Visions for the Future of Logic Programming},
year = {1995},
pages = {83--94}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper as an example. However, Mercury is by no means the only possible language design that fits within our proposal's framework. 2.1 A strong type system
