Minor points: > Had Prolog used statements and not expressions or ; instead of . Prolog uses "goals", which are a lot more like statements than they are like

Minor points: > Had Prolog used statements and not expressions or ; instead of . Prolog uses "goals", which are a lot more like statements than they are like expressions. Also, Prolog doesn't use ; to separate the clauses ("rules") of a predicate, it uses . to terminate each one. But I agree that whether or not Prolog sucks for building entire applications has nothing to do with these points.