
/*    KLONE.PL        settembre 91   */

/* definisce alcuni operatori e carica i files del clone */

:- op(900,fy,not).
:- op(700,xfx,\=).
not X :- \+ X.
X \= Y :- \+ X = Y .

/* predicati asseriti nel database dal klone */

:- dynamic net_node/3, net_node/4.
:- dynamic net_arc/3, net_arc/4, net_arc/5, net_arc/6.
:- dynamic work/1.

/* carica klone */


 klone :-
        write('         WELCOME'),
        nl,
        write('                 IN KLONE !! '),
        nl,
        write('   start loading...'),
        ['/home2/httpd/html/research/HYPERPROLOG/esempi/klone/klone1',
         '/home2/httpd/html/research/HYPERPROLOG/esempi/klone/klone2',
         '/home2/httpd/html/research/HYPERPROLOG/esempi/klone/klone3',
         '/home2/httpd/html/research/HYPERPROLOG/esempi/klone/klone4'],
/* carica qualche aggiunta */
        ['/home2/httpd/html/research/HYPERPROLOG/esempi/klone/klvarie'],
        init(r1),
        nl,
        nl,
        write('READY '),
        nl,
        nl.

:- klone.
