git checkout .
git checkout a867269c3b7890014a8c6fae5aee1fa964d5ffc7
find
cat /prolog/pfclib/pfc_1_2_full.pl
cat prolog/pfclib/pfc_1_2_full.pl
cat prolog/pfclib/pfc_3_0_full.pl
ls prolog/pfclib/