Prological Features In A Functional Setting Axioms And Implementations (1998)
by
Ralf Hinze
| Venue: | In Third Fuji Int. Symp. on Functional and Logic Programming |
| Citations: | 5 - 0 self |
BibTeX
@INPROCEEDINGS{Hinze98prologicalfeatures,
author = {Ralf Hinze},
title = {Prological Features In A Functional Setting Axioms And Implementations},
booktitle = {In Third Fuji Int. Symp. on Functional and Logic Programming},
year = {1998},
pages = {98--122}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper is twofold. First, we show that Prological features
