Prolog - Wikipedia