TODO:

Add an options.mk to handle the
installation of bin/aiprolog
