Prolog

Loo­gi­seen päät­te­lyyn ky­ke­ne­vä oh­jel­moin­ti­kieli