I will be doing a lab using the non-procedural language Prolog. Is there anyone out there currently who uses this language on a regular basis? What are its uses? What would be available if I want to delve deeper into this language or even LISP? Thanks to all.