% Restoring file /usr/local/lib/Yap/startup.yss
python: Couldn't load ID/KEY IDKEY cert Tom_IDKEY.pem
ABAC version 1.0
...initial principal set...
(pBob,keyid,y) 
(pJack,keyid,y) 
(pMary,keyid,y) 
(pLori,keyid,n) 
(pMark,keyid,y) 


adding -> pMary(good)
adding -> pJack(good)
adding -> pMark(good)
adding -> pJohn(good,invisible)
adding -> pLori(good,nokey)
adding -> pTom(bad,nocert)
adding -> Casper(bad,unknown file)
...final principal set...
(pBob,keyid,y) 
(pJack,keyid,y) 
(pMary,keyid,y) 
(pLori,keyid,n) 
(pMark,keyid,y) 
(pJack,keyid,y) 
(pJohn,keyid,y) 




========= yap db (dump_yap)
isType(pBob,keyid).
isType(pJack,keyid).
isType(pMary,keyid).
isType(pLori,keyid).
isType(pMark,keyid).
isType(pJack,keyid).
isType(pJohn,keyid).
appendL([],[]).
appendL([B|C],A) :-
   appendL(C,D),
   append(B,D,A).
append([],A,A).
append([B|C],A,[B|D]) :-
   append(C,A,D).
file_search_path(library,A) :-
   library_directory(A).
file_search_path(commons,_) :-
   commons_directory(_).
file_search_path(swi,A) :-
   current_prolog_flag(home,A).
file_search_path(yap,A) :-
   current_prolog_flag(home,A).
file_search_path(system,A) :-
   prolog_flag(host_type,A).
file_search_path(foreign,yap('lib/Yap')).
listing ok.. 
=========