LOGTALKHOME=/usr/share/logtalk-3.18.0
