Prolog语言

1972年

逻辑编程 强调步骤 强调流程 推导结果 自动编写