. . "PROLOG is a simple and powerful progamming language based on first-order logic." . .