When I took a comparative programming languages class we were introduced to Prolog and the mechanisms of writing deterministic code by taking advantage of the known search order, cuts and such seemed really clever but not suited to programming in the medium never my the large.