আমি জানি যে এটি প্রলোগ হ'ল টুরিং-সম্পূর্ণটি এমন একটি প্রোগ্রাম তৈরি করে টুরিং-সম্পূর্ণ হয় যা এই জাতীয় ট্যুরিং মেশিনকে অনুকরণ করে:
turing(Tape0, Tape) :-
perform(q0, [], Ls, Tape0, Rs),
reverse(Ls, Ls1),
append(Ls1, Rs, Tape).
perform(qf, Ls, Ls, Rs, Rs) :- !.
perform(Q0, Ls0, Ls, Rs0, Rs) :-
symbol(Rs0, Sym, RsRest),
once(rule(Q0, Sym, Q1, NewSym, Action)),
action(Action, Ls0, Ls1, [NewSym|RsRest], Rs1),
perform(Q1, Ls1, Ls, Rs1, Rs).
symbol([], b, []).
symbol([Sym|Rs], Sym, Rs).
action(left, Ls0, Ls, Rs0, Rs) :- left(Ls0, Ls, Rs0, Rs).
action(stay, Ls, Ls, Rs, Rs).
action(right, Ls0, [Sym|Ls0], [Sym|Rs], Rs).
left([], [], Rs0, [b|Rs0]).
left([L|Ls], Ls, Rs, [L|Rs]).
যাইহোক, আমি ভাবছি যে টিউরিংয়ের সম্পূর্ণতা না হারিয়ে PROLOG ভাষার কোন অংশটি (উদাহরণস্বরূপ ফাংশন সিম্বল, ক্লজ ওভারলোডিং, পুনর্বিবেচনা, একীকরণ) কেড়ে নিতে পারে। ফাংশন প্রতীকগুলি নিজেরাই কি ট্যুরিং সম্পূর্ণ?
4
আপনার কোড স্নিপেটে কেবল প্রলোগের বৈশিষ্ট্যগুলি আপনার প্রয়োজন।
—
যুবাল ফিল্মাস
আপনি এই প্রশ্নটি দেখেছেন ?
—
রাফেল
@ ইউভালফিল্মাস: PROLOG এ টুরিং মেশিন প্রোগ্রাম করার অন্যান্য উপায়ও থাকতে পারে।
—
লেনার হোয়েট