oh, thanks! I didn't know that Prolog was still used commercially.