Prolog isn't an acronym in the same way as, say, BASIC or COBOL, and do it shouldn't be capitalised. It's a contraction of "programming in logic" (although the

Prolog isn't an acronym in the same way as, say, BASIC or COBOL, and do it shouldn't be capitalised. It's a contraction of "programming in logic" (although the original came from the French name, which has the same contraction).