写了基本的逻辑解算器(Sudoku等)我试图通过写一个宿舍床分配系统来学习更多现实世界的Prolog.
"必须"规则工作(例如"房间容纳3个人","X必须与Y共用一个房间")但是我遇到了"应该"规则可以被打破的问题(例如"人们应该保持同样的"他们住宿的床 - 但如果需要可以移动房间").
Prolog可以处理逻辑不是二进制的弱规则吗？我遇到了概率编程扩展,但是不认为这是一个概率问题.
如果没有,我应该调查哪些方法/语言？
或者,这是我解决问题的方式,我需要考虑从夜晚到夜晚的连续性,因为客人来往不同的方式？
prolog ×1