Smilog : properties of the logarithms(2)

Information: Smilog : properties of the logarithms(2)