. . . . . "Logic Programming Associates" . . . . . . "LPA" . . . . . . "1980" . . "WIN-PROLOG" . "Logic Programming Associates" . .