Geek asks and answers

Creating Saved State in SWI-Prolog

I am trying to create a saved state from a top level in Windows, but I keep getting this error:

1 ?- qsave_program('U:/boo64.prc').
%   library(broadcast) compiled into broadcast 0.00 sec, 7,504 bytes
%   library(debug) compiled into prolog_debug 0.00 sec, 21,544 bytes
%   library(option) compiled into swi_option 0.00 sec, 14,416 bytes
%   library(arithmetic) compiled into arithmetic 0.00 sec, 33,872 bytes
%  library(settings) compiled into settings 0.00 sec, 120,152 bytes
% c:/program files/swi-prolog/library/listing compiled into prolog_listing 0.00 sec, 180,936 bytes
%   library(occurs) compiled into occurs 0.00 sec, 5,144 bytes
%  library(prolog_clause) compiled into prolog_clause 0.00 sec, 61,544 bytes
% c:/program files/swi-prolog/library/prolog_stack compiled into prolog_stack 0.00 sec, 77,320 bytes
ERROR: '$mark_executable'/1: file `U:/boo64.prc' does not exist (No such file or directory)
2 ?-

I thought this should do it. Why is he even trying to call mark_executable? All I want is a ressource file, which can be downloaded from my embedded C / C ++ application.

Anyone can help?

+3
source share
1 answer

The SWI-Prolog documentation is qsave_programconcise and difficult to implement, but start here . The last two sections, Creating Saved State and Compiling Using the -c Command-Line Option , will at least give you an example to try.

, , qsave_program 1 , , , , Prolog. Windows .exe, .prc.

boo64 . , , .

+3

More articles:


All Articles