Ŋgɔdonya ƒoƒo ƒu vaseɖe Eŋlisigbe [pdf].

Tsɔ Ðekawɔwɔ si Mebɔ O: Susuŋudɔwɔwɔ Doa Go Dɔwɔwɔ le Dzesi Si Mebɔ O

Prolog kple Forth ƒe xexeame tsi tre ɖi na ɖoɖowɔɖi ƒe xexemenunya ƒe nugbɔme eve. Wotu Prolog, si nye susuŋudɔwɔwɔ ƒe ɖoɖowɔɖi ƒe gbegbɔgblɔ si le ɖoƒe kɔkɔ aɖe ɖe ƒomedodo siwo me susu le, kpɔɖeŋu ƒe sɔsɔ, kple kuxiwo gbɔ kpɔkpɔ le gbeƒãɖeɖe me ƒe abstraction dzeani la dzi. To vovo na ema la, enelia nye gbegbɔgblɔ si bɔbɔ ɖe anyi, si wotu ɖe stack dzi, si ŋu wodea asixɔxɔe le eƒe nu suetɔ kekeake, xɔtunuwo dzi kpɔkpɔ tẽ, kple ewuwu ƒe duƒuƒu si le dzo dam ta la ƒe kpɔɖeŋu. Nukpɔsusu si nye be woaƒo gbãtɔa nu ƒu ɖe evelia me adze abe hakpanyawo gɔmeɖeɖe ɖe assembly code me ene—si nye sukunusɔsrɔ̃ ƒe nuwɔna si ŋu ɖikeke le si woate ŋu azã. Gake alesi wowɔa Prolog to Forth nuƒoƒoƒu nye mɔ̃ɖaŋununya ƒe aʋadziɖuɖu dodzidzɔname aɖe si ɖea gbe eveawo siaa gɔmesese deto fiana eye wònaa mɔ sesẽ aɖe si dzi woato awɔ susuŋudɔwɔwɔ ƒe ɖoɖowɔɖi siwo wɔa dɔ nyuie ŋutɔ, siwo woate ŋu atsɔ ayi teƒe bubuwo. Le asitsaha siwo zãa modular operating system abe Mewayz ene gome la, deep-level optimization alea te gbe ɖe ŋusẽ si le dɔwɔnu tɔxɛ siwo wɔa dɔ nyuie ƒe ƒoƒo ƒu ɖekae ɖe dɔwɔwɔ ƒe ɖoɖo si wɔ ɖeka me dzi.

Deconstructing Prolog: Tso Ðekawɔwɔ dzi yi Stack Dɔwɔwɔwo dzi

Kuxi vevitɔ si le nuƒoƒoƒu ƒe ɖoɖo sia ŋue nye be woaɖe Prolog ƒe akɔntabubu ƒe kpɔɖeŋu si me susu mele o gɔme ɖe Forth ƒe mɔfiame ŋutɔŋutɔ siwo wowɔna le afɔɖeɖe ɖesiaɖe me me. Mɔnu vevi evee ʋãa Prolog ƒe dɔwɔwɔ: ɖekawɔwɔ (nya siwo me susu le ƒe ɖoɖo si wowɔna) kple megbedede (egbɔkpɔnu bubuwo didi). Ele be Prolog-to-Forth nuƒoƒoƒula naɖe nukpɔsusu kɔkɔ siawo ɖa wòazu dɔwɔwɔ siwo le ɖoƒe si bɔbɔ ɖe wo nɔewo yome. Le kpɔɖeŋu me, ɖekawɔwɔ va zua stack ƒe asitɔtrɔ siwo kplɔ wo nɔewo ɖo—nyawo tutu, wo tsɔtsɔ sɔ kple wo nɔewo, kple kadodo siwo trɔna dzi kpɔkpɔ. Ele be nuƒoƒoƒula nawɔ Forth kɔda si ateŋu ato nyatakaka ƒe ɖoɖo sesẽwo me (abe ati siwo le tsitre ɖi na nya siwo me susu le ene) eye wòalé nɔnɔme si me woateŋu awɔ tɔtrɔwo ƒe kpɔɖeŋu eye emegbe "woaɖe woƒe kpɔɖeŋu o" le megbedede me. Esia bia be woawɔ duƒuƒu ƒe kpɔɖeŋu deŋgɔ si wotu ɖe Forth ƒe nya veviwo tame.

Trɔ yi megbedede ƒe dɔwɔwɔ: Didi ƒe Dzi

Ðewohĩ nuƒoƒoƒu ƒe akpa si sesẽ wue nye Prolog ƒe megbedede didi ƒe mɔnu la zazã. Le Prolog me la, ne taɖodzinu aɖe do kpo nu la, mɔ̃a trɔna yia teƒe mamlɛtɔ si wòtia eye wòtea mɔ bubu kpɔ. Be woagbugbɔ esia awɔ le Forth me la, ele be nuƒoƒoƒula nawɔ mɔnu aɖe si adzra akɔntabubua ƒe nɔnɔme ɖo ahagbugbɔe aɖo eteƒe. Zi geɖe la, wowɔa esia to Forth ƒe nyatakakawo ƒe ƒuƒoƒo zazã me eye vevietɔ la, tɔtrɔgbɔ ƒe ƒuƒoƒo si le vovo alo ŋkuɖodzinu ƒe nuto si woɖo ɖi tsɔ dzraa tiatia teƒewo ɖo. Tiatiaƒe nye mɔ̃a ƒe nɔnɔme ƒe nɔnɔmetata—si me tɔtrɔ ƒe kadodowo, kɔdafianu si li fifia, kple nyagbe bubu siwo womete kpɔ haɖe o hã le. Mɔfiamewo le kɔda si woƒo ƒu la me be woatsɔ atutu tiatia aɖe ɖe stack dzi ɣesiaɣi si nyagbe aɖe ƒe nyagbe geɖe siwo sɔ le wo si. Ne edo kpo nu la, runtime system la ɖea tiatia si wowɔ nyitsɔ laa la ɖe go, gbugbɔa nɔnɔmea ɖoa anyi, eye wòti kpo yia nyagbe si kplɔe ɖo si womete kpɔ o la gbɔ. Ɣeɖuɖu dzeani sia, ne esesẽ hã, trɔa Forth ƒe deterministic flow wòzua Prolog ƒe non-deterministic didi.

ƒe nyawo "Gbegbɔgblɔ si le ɖoƒe kɔkɔ abe Prolog ene nuƒoƒoƒu ɖe taɖodzinu si le bɔbɔe abe Forth ene me menye nyagɔmeɖegbalẽ gɔmeɖeɖe dzro aɖe ko o; enye mɔ̃ si me susu mele o ƒe kpɔɖeŋu gbugbɔgasusu to bubu ƒe dɔwɔwɔ gbãtɔwo zazã me. Dɔwɔwɔ sia tɔgbe ƒe dzidzedzekpɔkpɔ nɔ te ɖe ɖoɖowɔwɔ ɖe ɣeyiɣi ƒe ɖoɖo nyui aɖe si ate ŋu asrɔ̃ ɖekawɔwɔ kple megbedede le xɔtuɖaŋu si wotu ɖe stack dzi nuteƒewɔwɔtɔe dzi."

Gɔmesese ŋutɔŋutɔwo kple Mewayz ƒe Kadodo

Nukatae nàwɔ dɔ sesẽ sia tɔgbe? Viɖe siwo dona tso eme la ɖe dzesi ŋutɔ. Forth xɔ ŋkɔ le eƒe tsɔtsɔ yi teƒe bubuwo kple ŋkuɖodzinu suesuesuewo ta. Prolog ɖoɖo si woƒo ƒu ɖe Forth ateŋu awɔ dɔ le embedded systems, microcontrollers, alo platform ɖesiaɖe si me Forth gɔmeɖela le dzi, si ahe logic programming ŋutete sẽŋuwo ava nɔnɔme siwo me nunɔamesiwo mele o. Gakpe ɖe eŋu la, ɖoɖo si dona tso eme ate ŋu awɔ kabakaba ŋutɔ, elabena kɔpi si wowɔ la le ƒuƒlu eye wòwɔa dɔ kple gazazã sue aɖe ko. Xexemenunya sia si nye modules siwo wowɔ ɖe ɖoɖo nu, siwo wotu ɖe taɖodzinu aɖe nu la wɔwɔ sɔ pɛpɛpɛ kple Mewayz modular business OS. Mewayz kpɔa dzidzedze le akpa tɔxɛ siwo wɔa woƒe dɔwo nyuie wu la ƒoƒo ƒu ɖekae me.

Bu eŋu kpɔ be yetsɔ sewo ƒe mɔ̃ aɖe de eme na nyametsotso sesẽwo wɔwɔ tẽ le Mewayz module me. Ne mɔ̃ ma nye Prolog nuƒoƒoƒula si le taɖodzinu ɖom ɖe Forth virtual machine si zɔna kabakaba eye woate ŋu atsɔe ŋu la, ate ŋu awɔ asitsatsa ƒe susuŋudɔwɔwɔ ŋudɔ kple duƒuƒu tɔxɛ kple kakaɖedzi, le eɖokui si le xɔtunu siwo le ete la me. Viɖe vevi siwo le mɔnu sia tɔgbe ŋu dometɔ aɖewoe nye:

ƒe nyawo
• Extreme Portability: Wɔ asitsatsa ƒe susuŋudɔwɔwɔ sesẽwo le mɔ̃ vovovowo dzi, tso serverwo dzi va ɖo edge computing nodes dzi.
• Dɔwɔwɔ Kɔkɔ: Kpɔ dɔwɔwɔ kabakaba gbɔ to gɔmesese ƒe ƒuƒoƒo siwo bɔ ɖe Prolog ƒe dɔwɔwɔ deŋgɔwo me la toto me.
• Afɔti Sue: Wɔ dɔwɔɖoɖo sesẽ siwo me ŋkuɖodzinu kple nudzraɖoƒe ƒe hiahiã suetɔ kekeake le.
• Deep Integration: De logic programming eme madzudzɔmadzudzɔe abe native component ene le modular system gãtɔ me.

Nyataƒoƒo: Tɔdzisasrã si le Kpɔɖeŋuwo Dome

Prolog to Forth nuƒoƒoƒu nye ɖaseɖiɖi be gbe eveawo siaa te ŋu trɔna ɖe nɔnɔmewo ŋu. Eɖee fia be woate ŋu anɔ te ɖe ɖoɖowɔɖi ƒe kpɔɖeŋu siwo me susu mele o wu gɔ̃ hã dzi ɖe dɔwɔwɔ ƒe kpɔɖeŋu siwo wɔa dɔ nyuie, siwo le ɖoƒe si mede ŋgɔ o dzi. Togbɔ be egakpɔtɔ nye nuƒoƒoƒula ƒe ɖoɖowɔwɔ ƒe akpa tɔxɛ aɖe hã la, gɔmeɖose siwo le eme—ŋkuɖoɖonudzidzikpɔkpɔ nyuie, dɔwɔwɔ ƒe nɔnɔme yometiti, kple cross-paradigm gɔmeɖeɖe—sɔ le xexeame katã. Le mɔ̃ siwo le abe Mewayz ene siwo dea asixɔxɔ modularity kple dɔwɔwɔ ŋu gome la, mɔ̃ɖaŋununya ƒe ƒoƒo ɖekae goglo sia ƒomevie nye nu vevitɔ si ana woatu asitsatsa ƒe ɖoɖo sesẽ siwo te ŋu trɔna ɖe nɔnɔmewo ŋu ɖo. To alesi míawɔ atso akɔntabubu ƒe xexe vovovo mawo tɔgbe gɔmesese me la, míeʋua mɔnukpɔkpɔ yeyewo hena susuŋudɔwɔwɔ si me nunya le zazã le afisi tututu wòhiã le.

Nyabiase Siwo Wobiana Enuenu

Tsɔ Ðekawɔwɔ si Medzɔ O: Susuŋudɔwɔwɔ Doa Go Dɔwɔwɔ le Dzesi Si Mebɔbɔ O

Prolog kple Forth ƒe xexeame tsi tre ɖi na ɖoɖowɔɖi ƒe xexemenunya ƒe nugbɔme eve. Wotu Prolog, si nye susuŋudɔwɔwɔ ƒe ɖoɖowɔɖi ƒe gbegbɔgblɔ si le ɖoƒe kɔkɔ aɖe ɖe ƒomedodo siwo me susu le, kpɔɖeŋu ƒe sɔsɔ, kple kuxiwo gbɔ kpɔkpɔ le gbeƒãɖeɖe me ƒe abstraction dzeani la dzi. To vovo na ema la, enelia nye gbegbɔgblɔ si bɔbɔ ɖe anyi, si wotu ɖe stack dzi, si ŋu wodea asixɔxɔe le eƒe nu suetɔ kekeake, xɔtunuwo dzi kpɔkpɔ tẽ, kple ewuwu ƒe duƒuƒu si le dzo dam ta la ƒe kpɔɖeŋu. Nukpɔsusu si nye be woaƒo gbãtɔa nu ƒu ɖe evelia me adze abe hakpanyawo gɔmeɖeɖe ɖe assembly code me ene—si nye sukunusɔsrɔ̃ ƒe nuwɔna si ŋu ɖikeke le si woate ŋu azã. Gake alesi wowɔa Prolog to Forth nuƒoƒoƒu nye mɔ̃ɖaŋununya ƒe aʋadziɖuɖu dodzidzɔname aɖe si ɖea gbe eveawo siaa gɔmesese deto fiana eye wònaa mɔ sesẽ aɖe si dzi woato awɔ susuŋudɔwɔwɔ ƒe ɖoɖowɔɖi siwo wɔa dɔ nyuie ŋutɔ, siwo woate ŋu atsɔ ayi teƒe bubuwo. Le asitsaha siwo zãa modular operating system abe Mewayz ene gome la, deep-level optimization alea te gbe ɖe ŋusẽ si le dɔwɔnu tɔxɛ siwo wɔa dɔ nyuie ƒe ƒoƒo ƒu ɖekae ɖe dɔwɔwɔ ƒe ɖoɖo si wɔ ɖeka me dzi.

Deconstructing Prolog: Tso Ðekawɔwɔ dzi yi Stack Dɔwɔwɔwo dzi

Kuxi vevitɔ si le nuƒoƒoƒu ƒe ɖoɖo sia ŋue nye be woaɖe Prolog ƒe akɔntabubu ƒe kpɔɖeŋu si me susu mele o gɔme ɖe Forth ƒe mɔfiame ŋutɔŋutɔ siwo wowɔna le afɔɖeɖe ɖesiaɖe me me. Mɔnu vevi evee ʋãa Prolog ƒe dɔwɔwɔ: ɖekawɔwɔ (nya siwo me susu le ƒe ɖoɖo si wowɔna) kple megbedede (egbɔkpɔnu bubuwo didi). Ele be Prolog-to-Forth nuƒoƒoƒula naɖe nukpɔsusu kɔkɔ siawo ɖa wòazu dɔwɔwɔ siwo le ɖoƒe si bɔbɔ ɖe wo nɔewo yome. Le kpɔɖeŋu me, ɖekawɔwɔ va zua stack ƒe asitɔtrɔ siwo kplɔ wo nɔewo ɖo—nyawo tutu, wo tsɔtsɔ sɔ kple wo nɔewo, kple kadodo siwo trɔna dzi kpɔkpɔ. Ele be nuƒoƒoƒula nawɔ Forth kɔda si ateŋu ato nyatakaka ƒe ɖoɖo sesẽwo me (abe ati siwo le tsitre ɖi na nya siwo me susu le ene) eye wòalé nɔnɔme si me woateŋu awɔ tɔtrɔwo ƒe kpɔɖeŋu eye emegbe "woaɖe woƒe kpɔɖeŋu o" le megbedede me. Esia bia be woawɔ duƒuƒu ƒe kpɔɖeŋu deŋgɔ si wotu ɖe Forth ƒe nya veviwo tame.

Trɔyiyi ƒe dɔwɔwɔ: Didi ƒe Dzi

Ðewohĩ nuƒoƒoƒu ƒe akpa si sesẽ wue nye Prolog ƒe megbedede didi ƒe mɔnu la zazã. Le Prolog me la, ne taɖodzinu aɖe do kpo nu la, mɔ̃a trɔna yia teƒe mamlɛtɔ si wòtia eye wòtea mɔ bubu kpɔ. Be woagbugbɔ esia awɔ le Forth me la, ele be nuƒoƒoƒula nawɔ mɔnu aɖe si adzra akɔntabubua ƒe nɔnɔme ɖo ahagbugbɔe aɖo eteƒe. Zi geɖe la, wowɔa esia to Forth ƒe nyatakakawo ƒe ƒuƒoƒo zazã me eye vevietɔ la, tɔtrɔgbɔ ƒe ƒuƒoƒo si le vovo alo ŋkuɖodzinu ƒe nuto si woɖo ɖi tsɔ dzraa tiatia teƒewo ɖo. Tiatiaƒe nye mɔ̃a ƒe nɔnɔme ƒe nɔnɔmetata—si me tɔtrɔ ƒe kadodowo, kɔdafianu si li fifia, kple nyagbe bubu siwo womete kpɔ haɖe o hã le. Mɔfiamewo le kɔda si woƒo ƒu la me be woatsɔ atutu tiatia aɖe ɖe stack dzi ɣesiaɣi si nyagbe aɖe ƒe nyagbe geɖe siwo sɔ le wo si. Ne edo kpo nu la, runtime system la ɖea tiatia si wowɔ nyitsɔ laa la ɖe go, gbugbɔa nɔnɔmea ɖoa anyi, eye wòti kpo yia nyagbe si kplɔe ɖo si womete kpɔ o la gbɔ. Ɣeɖuɖu dzeani sia, ne esesẽ hã, trɔa Forth ƒe deterministic flow wòzua Prolog ƒe non-deterministic didi.

Gɔmesese ŋutɔŋutɔwo kple Mewayz ƒe Kadodo

Nukatae nàwɔ dɔ sesẽ sia tɔgbe? Viɖe siwo dona tso eme la ɖe dzesi ŋutɔ. Forth xɔ ŋkɔ le eƒe tsɔtsɔ yi teƒe bubuwo kple ŋkuɖodzinu suesuesuewo ta. Prolog ɖoɖo si woƒo ƒu ɖe Forth ateŋu awɔ dɔ le embedded systems, microcontrollers, alo platform ɖesiaɖe si me Forth gɔmeɖela le dzi, si ahe logic programming ŋutete sẽŋuwo ava nɔnɔme siwo me nunɔamesiwo mele o. Gakpe ɖe eŋu la, ɖoɖo si dona tso eme ate ŋu awɔ kabakaba ŋutɔ, elabena kɔpi si wowɔ la le ƒuƒlu eye wòwɔa dɔ kple gazazã sue aɖe ko. Xexemenunya sia si nye modules siwo wowɔ ɖe ɖoɖo nu, siwo wotu ɖe taɖodzinu aɖe nu la wɔwɔ sɔ pɛpɛpɛ kple Mewayz modular business OS. Mewayz kpɔa dzidzedze le akpa tɔxɛ siwo wɔa woƒe dɔwo nyuie wu la ƒoƒo ƒu ɖekae me.

Nyataƒoƒo: Tɔdzisasrã si le Kpɔɖeŋuwo Dome

Prolog to Forth nuƒoƒoƒu nye ɖaseɖiɖi be gbe eveawo siaa te ŋu trɔna ɖe nɔnɔmewo ŋu. Eɖee fia be woate ŋu anɔ te ɖe ɖoɖowɔɖi ƒe kpɔɖeŋu siwo me susu mele o wu gɔ̃ hã dzi ɖe dɔwɔwɔ ƒe kpɔɖeŋu siwo wɔa dɔ nyuie, siwo le ɖoƒe si mede ŋgɔ o dzi. Togbɔ be egakpɔtɔ nye nuƒoƒoƒula ƒe ɖoɖowɔwɔ ƒe akpa tɔxɛ aɖe hã la, gɔmeɖose siwo le eme—ŋkuɖoɖonudzidzikpɔkpɔ nyuie, dɔwɔwɔ ƒe nɔnɔme yometiti, kple cross-paradigm gɔmeɖeɖe—sɔ le xexeame katã. Le mɔ̃ siwo le abe Mewayz ene siwo dea asixɔxɔ modularity kple dɔwɔwɔ ŋu gome la, mɔ̃ɖaŋununya ƒe ƒoƒo ɖekae goglo sia ƒomevie nye nu vevitɔ si ana woatu asitsatsa ƒe ɖoɖo sesẽ siwo te ŋu trɔna ɖe nɔnɔmewo ŋu ɖo. To alesi míawɔ atso akɔntabubu ƒe xexe vovovo mawo tɔgbe gɔmesese me la, míeʋua mɔnukpɔkpɔ yeyewo hena susuŋudɔwɔwɔ si me nunya le zazã le afisi tututu wòhiã le.