Initial commit.
Working version of program using proprietary SICSTUS prolog.