User loginNavigation |
Embedding Prolog in HaskellLuke once pointed to Peter Norvig's embedding of Prolog in Lisp as an example of the power of the language, and asked whether (or if) it could be done in Haskell. I said I would think about it, but never got around to working out the details. Well, it turns out it's been done, and the essential bits are quite simple and intuitive, though macros would help to hide some of the abstract syntax-looking stuff (not apparent from the paper's J. M. Spivey and S. Seres. Embedding Prolog in Haskell. In Proceedings of Haskell '99 (E. Meijer, ed.), Technical Report UU-CS-1999-28, Department of Computer Science, University of Utrecht. By Frank Atanassow at 2004-07-18 19:50 | LtU Forum | previous forum topic | next forum topic | other blogs | 32933 reads
|
Browse archives
Active forum topics |
Recent comments
37 weeks 4 days ago
37 weeks 4 days ago
37 weeks 4 days ago
1 year 7 weeks ago
1 year 11 weeks ago
1 year 13 weeks ago
1 year 13 weeks ago
1 year 16 weeks ago
1 year 20 weeks ago
1 year 20 weeks ago