GNU Prolog hlasy

To je bezplatná Prolog kompilátor s omezením řešení nad konečných domén