main()

QP_initialize()

initializes Prolog default

QP_toplevel()

in a development system, calls the Prolog "read-prove" loop; in a runtime system, calls runtime_entry/1.