Saving YAP's state

View: New views
3 Messages — Rating Filter:   Alert me  

Saving YAP's state

by Pablo Beltran :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hi,

I'm trying to save the YAP's state:

====================================================================================
  ?- open('x','write',F),save_program(F).
     ERROR at  clause 3 of prolog:save_program/1 !!
     SYSTEM ERROR- restore/1: address space has holes of size -524288, cannot save
====================================================================================

Am I doing things right?

best regards,
Pablo

PS: I'm trying to save YAP's state after loading 700Mb of data (+8 million of facts). Yap 5.1.4 is running on the Ubuntu 8.10.

------------------------------------------------------------------------------
Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco, CA
-OSBC tackles the biggest issue in open source: Open Sourcing the Enterprise
-Strategies to boost innovation and cut costs with open source participation
-Receive a $600 discount off the registration fee with the source code: SFAD
http://p.sf.net/sfu/XcvMzF8H
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: Saving YAP's state

by Stiffler :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Some parts of this message have been removed. Learn more about Nabble's security policy.

Perhaps because you are passing save_program/1 a stream when it wants a filename.

save_program(+F)
Saves an image of the current state of the YAP database in file F.

Hope that helps,

Parker



Date: Sat, 7 Mar 2009 00:57:42 +0100
From: pbeltranl@...
To: yap-users@...
Subject: [Yap-users] Saving YAP's state

Hi,

I'm trying to save the YAP's state:

====================================================================================
  ?- open('x','write',F),save_program(F).
     ERROR at  clause 3 of prolog:save_program/1 !!
     SYSTEM ERROR- restore/1: address space has holes of size -524288, cannot save
====================================================================================

Am I doing things right?

best regards,
Pablo

PS: I'm trying to save YAP's state after loading 700Mb of data (+8 million of facts). Yap 5.1.4 is running on the Ubuntu 8.10.


Find out if you're getting paid enough! The Great New Zealand Salary Survey
------------------------------------------------------------------------------
Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco, CA
-OSBC tackles the biggest issue in open source: Open Sourcing the Enterprise
-Strategies to boost innovation and cut costs with open source participation
-Receive a $600 discount off the registration fee with the source code: SFAD
http://p.sf.net/sfu/XcvMzF8H
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

Re: Saving YAP's state

by Tony Wilson-3 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

I have checked and found that using a large -h value to prevent holes
and an atomic  filename in the save_program works fine. Tony

------------------------------------------------------------------------------
Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco, CA
-OSBC tackles the biggest issue in open source: Open Sourcing the Enterprise
-Strategies to boost innovation and cut costs with open source participation
-Receive a $600 discount off the registration fee with the source code: SFAD
http://p.sf.net/sfu/XcvMzF8H
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users