モジュール misc

その他の組込み述語です．

目次

述語

Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

述語

lilfes_version/1

書式lilfes_version($X)
LiLFeSのバージョンを返します．
> ?- 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]"
 LiLFeSのバージョンを返します．

lilfes_version/2

書式lilfes_version($X, $Y)
LiLFeSのバージョンを返します．
> ?- lilfes_version($X).
 X: "LiLFeS 1.2"
 Y: "May 14 2004, 20:22:09"
 LiLFeSのバージョンを返します．
Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory
This document is automatically created by lildoc on Fri Sep 24 14:13:59 2004