GNU Prolog

From Free net encyclopedia