Implementations of PROLOG | lit.salon