Artificial intelligence techniques in Prolog | lit.salon