GNU Prolog stimmen

Es ist ein freier Prolog-compiler with constraint solving over finite domains