Thinking in Prolog

Many, if not most, programmers have heard about Prolog, but few know much more about it than “it’s a logic(al) language.” What does that mean? Well, Prolog operates almost entirely on the foundation of first-order logic. This is the mathematics you can build up with “true/false”, “and/or/not”, “implies/iff”, “for all/exists”, and variables — in . . . → Read More: Thinking in Prolog