Developing this application was interesting for me because this was for me the first time I used google maps in some of my application. Also new for me was geocoding but actually this turned out to be as easy as reuse formulas available online. Currently on USA is covered but Europe should come soon.

I’m very pleased to announce that I’m officially a member of the DZone team! It all started about a month ago when I was contacted by Rick Ross. To my surprise Rick had actually seen my blog and happened to read a post about me possibly seeking some freelance work. So he recommended that I got in contact with Matt to see if they had any coding work. Well I wasn’t quite qualified for the code work that needed to be done so I figured that my chances of working for DZone were gone. Luckily around that same time Rick contacted me again about a job within his department. He basically said that he liked how I was trying to get the DZone community more involved with my link posts and he then offered me a position for link moderation. We agreed that we would give it a month to see how things went. As you can assume it’s been a month since then and I’m now officially a member of the DZone team. (There is MORE to the story which you can read by clicking the link.)

The Teyjus system is an efficient implementation of the higher-order logic programming language Lambda Prolog. The main strength of Lambda Prolog, a language developed by Dale Miller and Gopalan Nadathur, is the support it offers for what is known as lambda tree syntax, a new and effective way to view the structure of complex syntactic objects such as types, formulas, proofs and programs. Lambda Prolog provides this support by using lambda terms as data representation devices and by including primitives for probing such terms in logically meaningful ways. The new features present in the language raise several implementation challenges that have been addressed in collaborative work between Nadathur and his students and colleagues. The name "Teyjus" actually stands both for a project and for a class of compiler and virtual machine based realizations of Lambda Prolog arising from the research carried out within this project. Underlying the most recent version of the Teyjus system is a new and significantly improved virtual machine that has been designed by Xiaochu Qi as part of her doctoral dissertation work at the University of Minnesota. This virtual machine extensively exploits a special form of higher-order unification known as pattern unification.