bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Problems with loaded modules and --min-size option


From: Ferreira Maurizio
Subject: Problems with loaded modules and --min-size option
Date: Tue, 10 Mar 2009 12:44:53 +0100

I've the following two sources: main.pl and test.pl

I've compiled test with the following command
Gplc -w test.pl

And I've compiled main with the following command
Gplc --min-size main.pl

Now, when I execute the program I get the following error :

system_error(cannot_catch_throw(error(existence_error(procedure,(\=)/2),
work/0))) equal

Seems that the --min-size option the \= procedure required from test.

Any suggestion ?
Regards
Maurizio.


%%%%%  main.pl %%%%%%%%%%%

:- initialization(go).
:- dynamic(work/0).

go:-
  abolish(work/0),
  load(test),
  work.


%%%%%%%%%  test.pl  %%%%%%  

:- dynamic(work/0).
work:-
  A=1,
  (A\=2
   -> write(different),nl
   ;  write(equal),nl
  ).
    




reply via email to

[Prev in Thread] Current Thread [Next in Thread]