micro-PROLOGの概要