LOGTALKHOME=/usr/share/logtalk-3.47.0
