Kamal's Full lP LogoPage

My computer science travels have led me through a lot of languages....C, Java, TCL/Tk, and SML, just to name a few. However, the one of which I've become most fond is lambda Prolog. I was first exposed to it in a class taught by Dr. Dale Miller at Penn State University. The following semester, I worked for him on a few projects in the language. Now I've started work on a few personal projects as well. I will put all of my work related to lambda Prolog on this page. For more information on the language itself and others doing work with it, check out the Links section.