Full threadgarrybelka·1. 2. There were too many fully incompatible dialects of Prolog. I recall Lisp-like Micro-Prolog. TurboView on HN