save and restore broken in Yap 6.0? Yap, Logtalk and command line arguments

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

save and restore broken in Yap 6.0? Yap, Logtalk and command line arguments

by Jörg Schuster :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hello,

saving and restoring doesn't seem to work in Yap 6.0:

 schuster@lakonia:~/lng/0> yap
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
   ?- assert(likes(john, mary)).
yes
   ?- assert(likes(sepp, mary)).
yes
   ?- save(tmp0).
yes
   ?- schuster@lakonia:~/lng/0> yap
% Restoring file /usr/local/lib/Yap/startup.yss
YAP version Yap-6.0.0
   ?- restore(tmp0).
no
   ?-

Or am I doing something wrong?

By the way: What I am trying to achieve is compile a Logtalk program that uses command line arguments into a saved state. Does anybody have a simple example of how to do this?

Jörg