Prolog standardization discussion forums