Added swi prolog jar library