fitzgen.prolog

% name(Id, TheName).
% crate(Id, Crate).
% size(Id, TheSize).
% one of:
%   code(Id).
%   data(Id).
%   debug(Id).
%   misc(Id).
% edge(Id, Id).

% outputNode(OutputId, Id).

outputNode(Crate, Id) :-
    crate(Id, Crate),
    notLocal(Crate).

funcTriple(Func, Id, IdHeader, IdBody) :-
    misc(Id),
    edge(Id, IdHeader),
    edge(Id, IdBody),
    \+ IdHeader = IdBody.
    
outputNode(Func, Id) :- funcTriple(Func, Id, _, _).
outputNode(Func, Id) :- funcTriple(Func, _, Id, _).
outputNode(Func, Id) :- funcTriple(Func, _, _, Id).

misc(Id), edge(Id, IdHeader), edge(Id, IdBody), \+ IdHeader = IdBody
<=>
outputNode(Func, Id), outputNode(Func, IdHeader), outputNode(Func, IdBody).