#include "unify.h"
int unify_startup(int argc, char *argc[])
unify_start initializes resources used by the Unify
library using parameters passed on the command line (through
argc and argv). unify_start
ignores all arguments preceding the "--" argument and interprets all
arguments that following the "--" argument as unify arguments.
unify_start must be called before any other
Unify functions.
On success unify_start returns 0. Otherwise, a value of -1
is returned.
In the current implementation unify_start will never return -1. If something goes wrong, it will just exit.