The Transparent Prolog machine | lit.salon