使用宏连接符的逻辑程序设计
Logic Programming with Macro Connectives
摘要：
像Prolog这样的逻辑编程通常是顺序的，而且速度很慢，因为每个执行步骤只处理一个$micro$连接符。为了解决这个问题，我们建议使用$macro$连接词作为提高可读性和性能的手段。
英文摘要：
Logic programming such as Prolog is often sequential and slow because each execution step processes only a single, $micro$ connective. To fix this problem, we propose to use $macro$ connectives as the means of improving both readability and performance.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
