プロログ
【ぷろろぐ】
【purorogu】
逻辑编程