VisualProlog与VisualC混合编程技术研究