4 ms·It wasn't exactly Prolog, but we used a logic programming DSL for validating contract terms in a sales tool.by paavohtl 5y agoIt wasn't exactly Prolog, but we used a logic programming DSL for validating contract terms in a sales tool.