I have a list of goals that I would like to be unified at runtime such that I get a list of Variable, value pairs. How might I do this?I have a list of goals that I would like to be
阅读背景：
统一prolog中的目标列表
来源：互联网
分享到：
