归纳逻辑编程

归纳逻辑编程归纳逻辑编程（ALP）是一个高级知识表示框架，可用于基于归纳推理以声明方式解决问题。它通过允许某些谓词未完全定义来扩展常规逻辑编程。解决问...