trealla:用普通的C语言编写的紧凑高效的Prolog解释器 源码

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 just-in-time indexing DCG via library(dcgs) format_//2 via library(format) Logtalk compatible (still early testing) REPL with history MIT licensed Tr