Not used. Quote about prolog: The elegant solution is not efficient. The efficient solution is not elegant.

I feel like an inefficient solution is inelegant by definition.