问题是:有没有一个地方可以放一些我可以检查的程序?我说的是rosetta代码风格,但我去了那里,发现几乎每个程序都是用非纯prolog语法解决的(使用cut,使用is,诸如此类的东西),这对我没有帮助,因为我的学习要求。
那么,有什么半好的来源吗?我说的是小程序,比如在一个固定的地方插入一个元素等等,当我可以检查我做的事情是否正确时,我发现我学到了更多
大家好,我正在学习prolog,现在我找到了prolog!这帮助我在两次快速阅读中比在两个月的课堂上学到了更多的序言。我甚至正确地解决了一些练习,这对我来说是一个惊喜。所以我想保持这一轨迹(我已经做了很多练习,直到第五章,我找到了几个github,我可以在那里检查我是否接近解决方案,我的解决方案是否遗漏了案例,等等)提前感谢
值得一提的是,我正在谈论这样的事情,如果它可以用3个以上的例子更好,但这类问题
http://www.irisa.fr/prive/ridoux/ICLP91/node7.html#SECTION00031000000000000000
Paul Tarau为搭便车的Prolog提供了一个测试台,里面有几个有趣的纯Prolog"程序":queens、数独、lambdas、peano算术。查看文件夹progs或在此处以片段形式运行我的实现(来自hhprolog)。。。
N-Queens,一个我从未见过的非常优雅的解决方案:
place_queen(I,[I|_],[I|_],[I|_]).
place_queen(I,[_|Cs],[_|Us],[_|Ds]):-place_queen(I,Cs,Us,Ds).
place_queens([],_,_,_).
place_queens([I|Is],Cs,Us,[_|Ds]):-
place_queens(Is,Cs,[_|Us],Ds),
place_queen(I,Cs,Us,Ds).
gen_places([],[]).
gen_places([_|Qs],[_|Ps]):-gen_places(Qs,Ps).
qs(Qs,Ps):-gen_places(Qs,Ps),place_queens(Qs,Ps,_,_).
goal(Ps):-qs([0,1,2,3,4,5],Ps).
function runnable(out_elem) {
settext(out_elem = out_elem || run_output)
return new Prog({
writeln: function(l) {
textln(out_elem, l)
},
nl_source: `
place_queen I _0 _1 _2 and
_0 holds list I _3 and
_1 holds list I _4 and
_2 holds list I _5 .
place_queen I _0 _1 _2 and
_0 holds list _3 Cs and
_1 holds list _4 Us and
_2 holds list _5 Ds
if
place_queen I Cs Us Ds .
place_queens nil _0 _1 _2 .
place_queens _0 Cs Us _1 and
_0 holds list I Is and
_1 holds list _2 Ds
if
place_queens Is Cs _3 Ds and
_3 holds list _4 Us and
place_queen I Cs Us Ds .
gen_places nil nil .
gen_places _0 _1 and
_0 holds list _2 Qs and
_1 holds list _3 Ps
if
gen_places Qs Ps .
qs Qs Ps
if
gen_places Qs Ps and
place_queens Qs Ps _0 _1 .
goal Ps
if
qs _0 Ps and
_0 lists 0 1 2 3 4 5 .
`
})
}
function settext(e, t) {
e.innerHTML = t || ''
}
function textln(e, l) {
e.innerHTML = e.innerHTML + `n` + (l || '')
}
const prog = runnable()
const t0 = Date.now()
prog.run(print_sol.checked)
prog.options.writeln('elapsed secs:' + (Date.now() - t0) / 1000)
.boxed {
box-shadow: 8px 8px 5px #444;
background-image: linear-gradient(180deg, #fff, #ddd 40%, #ccc);
}
.spacing {
border: 1px solid #333;
padding: 8px 12px;
}
<script src="https://cdn.jsdelivr.net/gh/CapelliC/hhprolog/hhprolog.js"></script>
<label>print solutions
<input id=print_sol type=checkbox checked=checked>
</label>
<div class="boxed spacing">
<div>Solutions</div>
<pre id=run_output></pre>
</div>
您可以从研究Prologue的实现开始
Prolog。这是常用的列表谓词。它们是此处指定:
Prolog的序言(工作草案)
Ulrich Neumerkel,2012-09-06
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue
您可以在这里找到不同位置的实现
(GitHub SWI Prolog)和这里(GitHubJekejeke Prolog)。