However, in the Prolog family of languages, logic programs also have a procedural interpretation as goal-reduction procedures: to solve H, solve B1, and ... and solve Bn.
Међутим, у Пролог породици језика, логички програми имају процедуралну интерпретацију као процедуру циља за смањење: да реши H, реши B1, и... и реши Bn.