Logic Programming: PROLOG.