| Format | lilfes_version($X) |
|---|---|
| Return lilfes version. | |
> ?- lilfes_version($X). X: "LiLFeS 1.2 by Takaki Makino and Tsujii lab., Tokyo Univ. Last Compiled on May 14 2004, 20:22:09 [PROF=1]" Return lilfes version. | |
| Format | lilfes_version($X, $Y) |
|---|---|
| Return lilfes version. | |
> ?- lilfes_version($X). X: "LiLFeS 1.2" Y: "May 14 2004, 20:22:09" Return lilfes version. | |