A small, efficient Prolog interpreter.