Logic programming: Prolog