Update the JIProlog adapter file to also return the list of variables when reading a source file term