generated at
Temporal Prolog
Temporal Prolog
http://www.takeoka.org/~take/ailabo/prolog/tmpro/tmpro-memo.html
時相論理言語