Czy terminy Hilog (tj. Związki o dowolnych terminach funktorów) są nadal uważane za potężną cechę w XSB Prolog (lub jakimkolwiek innym Prologu)? Czy jest wiele projektów XSB obecnie korzystających z t
Obecnie pracuję nad bardzo krótkim projektem na Prologu i po prostu utknąłem próbując zastosować "filtr", który stworzyłem do listy. Mam gotowy filtr, ale nie mogę go zastosować. Byłoby lepiej, gdybym
obliczyć odległość Hamminga pomiędzy dwoma listami o tej samej długości, używam foldl(hamm, A, B, 0, R). z tej definicji hamm/4: hamm(A, A, V, V) :- !.
hamm(A, B, V0, V1) :- A \= B, V1 is V0 + 1.
C