been looking for a light package of swi-prolog, found it on pkgsrc.se/lang/swi-prolog-lite. would like to request further slimming it down by removing dependencies on bash, gmp, readline. also, if possible, can the swi-prolog version be bumped up? thanks.