systems biology prolog library