Name Last modified Size Description Parent Directory - logtalk-3.00.0-no-us..> 16-Jun-2016 18:18 1.7K logtalk-3.03.0-no-us..> 16-Jun-2016 18:18 1.7K logtalk-3.07.0-no-us..> 05-Oct-2016 02:26 1.7K