lambda-prolog

4热度

2回答

高阶“解决方案”谓词

我正在使用更高阶的Prolog变体，缺少findall。 关于在这里实施我们自己的findall还有另一个问题：Getting list of solutions in Prolog。 低效的实现是： parent(pam, bob). %pam is a parent of bob parent(george, bob). %george is a parent of bob list_p

prolog lambda-prolog 2017-11-11

---