Parameter Learning of Logic Programs for Symbolic-Statistical Modeling