I learned about SWI-Prolog around 1994. Amazing that it is still available & updated - even with its original name :-)