Add listing of required Prolog libraries