save_program/3¶

save_program(+ F, : G)*

Saves an image of the current state of the YAP database in file F, and guarantee that execution of the restored code will start by trying goal G.