Modified Makefile to support alternate paths to Prolog, and the framework for supporting other Prolog systems.
Removed incomplete experiments.
Support DESTDIR and do not crash when the web interface is not built.