prolog 热门资料

Prolog(Programminginlogic)是一种面向演绎推理的逻辑型程序设计语言,最早于1972年由柯尔麦伦纳(Colmeraner)及其研究小组在法国马赛大学提出。[1]

收录资源 62 份 全站深度检索
PDF文档

這是個prolog程式,能解決4x4的數獨問題 例: ?- sudoku ([4,2,0,0]/[0,1,0,2]/[0,0,1,0]/[1,0,0,4], Solution). Solution = [[4,2,3,1]/[3,1,4,2]/[2,4,1,3…