"From a software engineering standpoint, what impressed me … every Prolog rule with at least one variable, … same effect. … [e.g., append ...] The first use is an actual list … for completing a given list.
Google-1
Google-2
Copyright clearance needed for quotation.