Trealla序言 紧凑，高效的Prolog口译员，。 Integers are 64-bit (optionally 32 or 128-bit) Integer overflow detection Rationals are a native type Reals are double Atoms are UTF-8 of unlimited length The default double-quoted representation is *chars* list Full-term