I think it was a Symbolics product, and used special instructions (e.g. UNIFY) on the CPU. Never used it and don't know anything about it, personally. I wonder if some hint about it might be found in the Joshua documentation. And I'd expect Prolog to be on whatever Optional Products distribution Joshua was on.