Ko hono fakatahataha'i 'o e Prolog ki he Mu'omu'a [pdf].

Ngaahi 'uhinga 'aonga mo e fehokotaki'anga 'o e Mewayz

Ko e hā ke fakahoko ai ha ngāue faingataʻa pehē? Ko e ngaahi ‘aongá ‘oku mahu‘inga. 'Oku 'iloa 'a e Forth 'i hono portability mo e si'isi'i 'o e va'e 'o e manatu. 'E lava ke lele ha sisitemi Prolog 'oku fakatahataha'i ki he Forth 'i he ngaahi sisitemi 'oku fakahu, microcontrollers, pe ko ha fa'ahinga tu'unga 'oku 'i ai ha faka'uhinga lea 'o e Forth, 'o 'omi 'a e ngaahi malava fakapolokalama fakalotika malohi ki he ngaahi 'atakai 'oku fakangatangata 'a e ma'u'anga tokoni. 'Ikai ngata ai, 'e lava ke fu'u vave 'aupito 'a e sisitemi 'oku ma'u mei ai, 'o hange ko e code 'oku fakatupu 'oku lean mo fakahoko 'aki 'a e si'isi'i taha 'o e 'olunga. Ko e filosofia ko 'eni 'o hono fa'u 'o e ngaahi modules 'oku fakalelei'i, taumu'a-langa 'oku fakafe'unga'i haohaoa ia mo e Mewayz modular pisinisi OS. 'Oku tupulaki 'a e Mewayz 'i hono fakataha'i 'o e ngaahi konga makehe 'oku nau fakahoko 'enau ngaahi ngaue 'aki 'a e lelei taha.

Fakakaukau ki hono fakahu ha misini tu'utu'uni ki he fai tu'utu'uni faingata'a 'o fakahangatonu 'i loto 'i ha module Mewayz. Kapau ko e misini ko ia ko ha Prolog compiler 'oku fakataumu'a ki ha misini virtual Forth vave, to'oto'o, 'e lava ke ne fakahoko 'a e logic pisinisi 'aki 'a e vave makehe mo e falala'anga, tau'ataina mei he hardware 'i lalo. Ko e ngaahi tefito'i lelei 'o e founga pehe ni 'oku kau ai 'a e:

• Faka'auha lahi: Fakalele 'a e ngaahi fakakaukau fakapisinisi faingata'a 'i ha ngaahi me'angaue kehekehe, mei he ngaahi seva ki he ngaahi note fakakomipiuta 'i he tafa'aki.
• Ngaue Ma'olunga: A'usia 'a e fakahoko vave ange 'aki hono fakalaka 'i he ngaahi la'i 'o e faka'uhinga 'oku angamaheni 'i he ngaahi fakahoko 'o e Prolog angamaheni.
• Si'isi'i 'a e Va'e: Fa'u ha ngaahi polokalama malohi mo e si'isi'i taha 'o e manatu mo e ngaahi fie ma'u ki he tauhi'anga.
• Fakatahataha'i loloto: Fakakau 'a e polokalama fakalotika ko ha konga fakafonua 'i loto 'i he sisitemi modular lahi ange.

Faka'osi: Ko ha Halafakakavakava 'i he Vaha'a 'o e Ngaahi Fakatata

Ko hono fakatahataha'i 'o e Prolog to Forth ko e fakamo'oni ia ki he fe'unu'aki 'o e ongo lea fakatou'osi. 'Oku ne fakahaa'i 'e lava ke grounded na'a mo e ngaahi fakatata fakapolokalama abstract taha 'i he ngaahi sipinga 'o e fakahoko 'o e tu'unga ma'ulalo, 'oku lelei. Lolotonga 'oku kei hoko ia ko ha feitu'u niche 'o e tisaini 'o e compiler, 'Oku fekau'aki 'a e ngaahi tefito'i mo'oni 'oku kau ki ai-pule'i lelei 'o e manatu, muimui'i 'o e tu'unga 'o e taimi lele, mo e liliu 'o e kolosi-paradigm-'i he 'univeesi. Ki he ngaahi tu'unga hange ko e Mewayz 'oku nau fakamahu'inga'i 'a e modularity mo e fakahoko, ko e fa'ahinga fakataha'i fakatekinikale loloto ko 'eni ko e kī ia ki hono langa hake 'o e ngaahi sisitemi pisinisi fefeka mo fe'unga. 'I he mahino 'a e founga ke fakafehokotaki 'a e ngaahi mamani fakakomipiuta kehekehe pehe, 'Oku tau fakaava 'a e ngaahi me'a fo'ou 'e lava ke hoko ki hono fakahoko 'o e logic 'atamai 'i he feitu'u tonu 'oku fie ma'u ai.

Ngaahi Fehuʻi ʻoku Faʻa ʻEke

Ko e Convergence 'oku 'ikai ngalingali: Fakafetaulaki'i 'e he Polokalama Loki mo e Fakahoko 'o e Levolo Ma'ulalo

Ko e ongo mamani 'o e Prolog mo e Forth 'oku ne fakafofonga'i 'a e ongo extremes 'o e filosofia fakapolokalama. Prolog, ko ha lea fakapolokalama fakalokiloki levolo ma'olunga, 'oku langa ia 'i he abstraction faka'ofo'ofa 'o e ngaahi fehokotaki'anga fakalokiloki, fakafehoanaki 'o e sipinga, mo e declarative palopalema-fakalelei'i. Forth, 'i hono fakafehoanaki, ko e epitome 'o ha levolo ma'ulalo, stack-fakava'e 'i he lea 'oku mahu'inga, prized ki hono minimalism, pule'i fakahangatonu 'o e hardware, mo e vave 'o e fakahoko 'o e blazing. Ko e fakakaukau ʻo hono fakatahatahaʻi ʻo e ʻuluaki meʻá ki he meʻa kimuí ʻe ngali hangē ia hano liliu ʻo e faʻu-pōpoaki ki he kouti fakatahatahaʻí —ko ha ngāue fakaʻakatemika ʻo e ʻaonga ʻoku fehuʻia. Ka neongo ia, ko e founga 'o hono fakatahataha'i 'o e Prolog ki he Forth ko ha feat fakatekinikale fakaofo 'oku ne fakahaa'i 'a e ngaahi 'ilo loloto ki he ongo lea fakatou'osi pea 'oku ne 'omi ha hala fakalotolahi ki hono fa'u 'o e ngaahi sisitemi fakapolokalama 'o e logic 'oku fu'u ola lelei, to'oto'o. Ki he ngaahi pisinisi leveraging ha founga ngaue modular hange ko e Mewayz, 'oku fakamamafa'i 'e he optimization loloto-levolo pehe 'a e malohi 'o hono fakataha'i 'o e ngaahi me'angaue makehe, ngaue ma'olunga ki ha ngaue 'oku fehokotaki.

Ko hono faka'auha 'o e Prolog: Mei he Fakatahataha'i ki he Ngaahi Ngaue 'o e Stack

Ko e pole tefito 'o e founga fakatahataha'i ko 'eni 'oku 'i hono liliu 'o e sipinga fakakomipiuta fakakaukau 'a e Prolog ki he ngaahi fakahinohino pau 'a Forth, fakasitepu. 'Oku fakalele 'a e fakahoko 'o e Prolog 'e he ongo founga mahu'inga: fakatahataha'i (ko e founga 'o e fakafehoanaki 'o e ngaahi lea fakalokiloki) mo e backtracking (ko e kumi ki ha ngaahi fakalelei'anga kehe). Kuo pau ke deconstruct 'e ha compiler Prolog-ki he-Forth 'a e ngaahi fakakaukau ko 'eni 'o e tu'unga ma'olunga ki ha ngaahi ngaue 'o e tu'unga ma'ulalo. Ko e fakatahatahaʻí, hangē ko ʻení, ʻoku hoko ia ko ha hokohoko ʻo e ngaahi manipulations ʻo e stack —tekeʻi ʻo e ngaahi foʻi leá, fakafehoanaki kinautolu, mo hono puleʻi ʻo e ngaahi haʻi kehekehe. Kuo pau ke fakatupu 'e he compiler 'a e Forth code 'e lava ke ne kolosi 'i he ngaahi fokotu'utu'u 'o e fakamatala faingata'a (hange ko e ngaahi 'akau 'oku nau fakafofonga'i 'a e ngaahi lea fakalokiloki) pea tauhi ha 'atakai 'e lava ke instantiated 'a e ngaahi kehekehe pea kimui ange "un-instantiated" lolotonga 'a e backtracking. 'Oku fie ma'u heni ha sipinga taimi lele 'oku fakapotopoto 'oku langa 'i 'olunga 'i he ngaahi lea tefito 'a Forth.

Fakahoko 'o e Fakafoki: Ko e Loto 'o e Fekumi

Mahalo ko e konga faingata'a taha 'o e fakatahataha'i ko hono fakahoko 'o e founga kumi backtracking 'a e Prolog. 'I he Prolog, 'i he taimi 'oku 'ikai ke lava ai ha taumu'a, 'oku holomui 'a e misini ki he poini fili fakamuimuitaha pea feinga ki ha hala kehe. Ke toe fakahoko 'eni 'i he Forth, kuo pau ke fa'u 'e he compiler ha founga ke fakahaofi mo fakafoki 'a e tu'unga 'o e computation. 'Oku angamaheni 'aki hono a'usia 'eni 'aki hono faka'aonga'i 'o e stack 'o e fakamatala 'a e Forth pea, mahu'inga, ko ha stack fakafoki kehekehe pe ko ha vahenga manatu fakatapui ke tanaki 'a e ngaahi poini fili. Ko ha poini fili ko ha fakatātā ʻo e tuʻunga ʻo e mīsiní —kau ai ʻa e ngaahi haʻi kehekehe, ʻa e fakaʻilonga ʻo e kouti lolotongá, mo e ngaahi kupuʻi lea kehe ʻoku teʻeki ke ʻahiʻahiʻí. 'Oku kau 'i he code kuo fakatahataha'i 'a e ngaahi fakahinohino ke teke ha poini fili ki ha stack 'i ha taimi pe 'oku 'i ai ha ngaahi kupu'i lea 'oku fe'unga lahi 'a e predicate. 'I he ta'elavame'a, 'oku pops 'e he sisitemi taimi lele 'a e poini fili fakamuimuitaha, fakafoki 'a e tu'unga, pea puna ki he kupu'i lea hoko 'oku te'eki ke feinga'i. Ko e hulohula faka'ofo'ofa ko 'eni, kapau 'oku faingata'a, 'oku ne liliu 'a e tafe fakapapau 'a Forth ki he fekumi 'ikai fakapapau'i 'a Prolog.

Ngaahi 'uhinga 'aonga mo e fehokotaki'anga 'o e Mewayz

Ko e hā ke fakahoko ai ha ngāue faingataʻa pehē? Ko e ngaahi ‘aongá ‘oku mahu‘inga. 'Oku 'iloa 'a e Forth 'i hono portability mo e si'isi'i 'o e va'e 'o e manatu. 'E lava ke lele ha sisitemi Prolog 'oku fakatahataha'i ki he Forth 'i he ngaahi sisitemi 'oku fakahu, microcontrollers, pe ko ha fa'ahinga tu'unga 'oku 'i ai ha faka'uhinga lea 'o e Forth, 'o 'omi 'a e ngaahi malava fakapolokalama fakalotika malohi ki he ngaahi 'atakai 'oku fakangatangata 'a e ma'u'anga tokoni. 'Ikai ngata ai, 'e lava ke fu'u vave 'aupito 'a e sisitemi 'oku ma'u mei ai, 'o hange ko e code 'oku fakatupu 'oku lean mo fakahoko 'aki 'a e si'isi'i taha 'o e 'olunga. Ko e filosofia ko 'eni 'o hono fa'u 'o e ngaahi modules 'oku fakalelei'i, taumu'a-langa 'oku fakafe'unga'i haohaoa ia mo e Mewayz modular pisinisi OS. 'Oku tupulaki 'a e Mewayz 'i hono fakataha'i 'o e ngaahi konga makehe 'oku nau fakahoko 'enau ngaahi ngaue 'aki 'a e lelei taha.

Faka'osi: Ko ha Halafakakavakava 'i he Vaha'a 'o e Ngaahi Fakatata

Ko hono fakatahataha'i 'o e Prolog to Forth ko e fakamo'oni ia ki he fe'unu'aki 'o e ongo lea fakatou'osi. 'Oku ne fakahaa'i 'e lava ke grounded na'a mo e ngaahi fakatata fakapolokalama abstract taha 'i he ngaahi sipinga 'o e fakahoko 'o e tu'unga ma'ulalo, 'oku lelei. Lolotonga 'oku kei hoko ia ko ha feitu'u niche 'o e tisaini 'o e compiler, 'Oku fekau'aki 'a e ngaahi tefito'i mo'oni 'oku kau ki ai-pule'i lelei 'o e manatu, muimui'i 'o e tu'unga 'o e taimi lele, mo e liliu 'o e kolosi-paradigm-'i he 'univeesi. Ki he ngaahi tu'unga hange ko e Mewayz 'oku nau fakamahu'inga'i 'a e modularity mo e fakahoko, ko e fa'ahinga fakataha'i fakatekinikale loloto ko 'eni ko e kī ia ki hono langa hake 'o e ngaahi sisitemi pisinisi fefeka mo fe'unga. 'I he mahino 'a e founga ke fakafehokotaki 'a e ngaahi mamani fakakomipiuta kehekehe pehe, 'Oku tau fakaava 'a e ngaahi me'a fo'ou 'e lava ke hoko ki hono fakahoko 'o e logic 'atamai 'i he feitu'u tonu 'oku fie ma'u ai.