Jump to navigation
Embedding programming languages: Prolog in Haskell
Mehul Chandrakant Solanki (author)David Casperson (Thesis advisor)University of Northern British Columbia (Degree granting institution)
Master of Science (MSc)
Number of pages in document: 122
This thesis focuses on combining the two most important and wide spread declarative programming paradigms, functional and logic programming. The proposed approach aims at adding logic programming features which are native to Prolog onto Haskell. We develop extensions which replicate the target language by utilizing advanced features of the host language for an efficient implementation. The thesis aims to provide insights into merging two declarative languages namely, Haskell and Prolog by embedding the latter into the former and analyzing the results of doing so as the two languages have conflicting characteristics. The finished products will be something similar to a haskellised Prolog which has logic programming-like capabilities. --Leaf ii.
Haskell (Computer program language)Students with disabilitiesLearning disabled children -- Education.American Sign Language