pl-static
: Static library for SWI Prolog