いや、MLが論理プログラミングをサポートすると現実的になるんじゃなくて、
論理プログラミングをML的にやると現実的になるって印象を
述べております。はい。