How many of you realize that SWI-Prolog is an excellent, genuinely excellent language?