prologのことは知らないが、>>1にある技術って実際に世の中に広まってる処理系に使われてるの?