Prolog (daɲɛ fɔlɔ) labɛnni ka taa ɲɛfɛ [pdf].

Jɛkulu min tɛ se ka kɛ : Logic Programming bɛ ni low-level execution ye

Prolog ni Forth diɲɛw bɛ porogaramuko hakilila dantɛmɛko fila jira. Prolog, n’o ye hakilinata porogaramukan ye min bɛ sanfɛ, o jɔlen bɛ hakilinata jɛɲɔgɔnyaw, misali bɛnkanw, ani gɛlɛyaw ɲɛnabɔcogo fɔlenw ka abstraction elegant kan. Forth, o ni ɲɔgɔn cɛ, o ye kan wajibiyalen dɔ ye min bɛ se ka kɛ fɛn ye min bɛ se ka kɛ fɛn ye min bɛ se ka kɛ fɛn ye min bɛ se ka kɛ fɛn ye min bɛ se ka kɛ fɛn ye min bɛ se ka kɛ fɛn ye min bɛ se ka kɛ fɛn ye min bɛ se ka kɛ fɛn ye min bɛ se ka kɛ fɛn ye min bɛ se ka kɛ fɛn ye min bɛ se ka kɛ. Hakilina min ye ka fɔlɔw dalajɛ ka kɛ laban ye, o bɛ se ka kɛ i n’a fɔ poyi bamanankan na ka kɛ jamalajɛ kode ye — kalanko wale min bɛ kɛ ni waleyali ye min bɛ ɲininkali kɛ. Nka, Prolog to Forth labɛnni taabolo ye fɛɛrɛko ye min bɛ mɔgɔ ɲɛnajɛ, min bɛ hakilina juguw jira kan fila bɛɛ la, wa a bɛ siraba di walasa ka hakilinata porogaramuw dilan minnu bɛ baara kɛ kosɛbɛ, minnu bɛ se ka ta. Jagokɛlaw minnu bɛ baarakɛminɛn modulari dɔ ta i n’a fɔ Mewayz, o ɲɔgɔnna ɲɛnabɔli jugumanba in bɛ fanga jira ka ɲɛsin baarakɛminɛn kɛrɛnkɛrɛnnenw ma, minnu bɛ baara kɛ kosɛbɛ, ka kɛ baarakɛcogo jɛlen ye.

Prolog deconstruire : ka bɔ unification la ka taa stack baarakɛcogo la

Nin daɲɛgafe in gɛlɛya jɔnjɔn bɛ Prolog ka jatebɔ misali abstrait bamanankan na ka kɛ Forth ka cikan jɛlenw ye, senfɛ-senfɛ. Prolog ka waleyali bɛ Kɛ ni fɛɛrɛ jɔnjɔn fla ye: kelenya (daɲɛ hakilitigiw bɛnni taabolo) ani kɔsegin (fɛɛrɛ wɛrɛw ɲinini). Prolog-to-Forth daɲɛgafebɔla ka kan ka nin hakilina sanfɛla ninnu tiɲɛ ka kɛ baarakɛcogo dɔgɔmanninw ye minnu bɛ tugu ɲɔgɔn na. Misali la, kelenya bɛ kɛ stack manipulations (daɲɛw sɛgɛsɛgɛli) ye minnu bɛ tugu ɲɔgɔn na—daɲɛw gɛlɛyali, k’u suma ɲɔgɔn na, ani ka sirili fɛn caman ɲɛnabɔ. Daɲɛgafebɔla ka kan ka Forth kode lawuli min bɛ se ka kunnafonidilan gɛlɛnw tɛmɛ (i n’a fɔ jiriw minnu bɛ daɲɛ hakilitigiw jira) ani ka sigida mara yɔrɔ min na fɛn caman bɛ se ka kɛ misali ye ani kɔfɛ "un-instantiated" kɔsegin waati. O bɛ boli waati misali caman de wajibiya min jɔlen bɛ Forth ka daɲɛ jɔnjɔnw sanfɛ.

Kɔnɔnafili waleyali : ɲinini dusukun

Laala, dalajɛ in yɔrɔ min ka gɛlɛn kosɛbɛ, o ye Prolog ka kɔsegin ɲinini kɛcogo waleyali ye. Prolog kɔnɔ, ni laɲini dɔ ma ɲɛ, motɛri bɛ kɔsegin ka taa sugandili laban na, ka sira wɛrɛ ɲini. Walasa k’o Lasegin Forth kɔnɔ, daɲɛgafe-bɔla ka kan ka fɛɛrɛ dɔ Dabɔ walasa ka jatebɔ cogoya Kisi ani k’a Lasegin a cogo kɔrɔ la. O bɛ Kɛ cogoya la ni Forth ka kunnafonidilan ye ani min nafa ka bon kosɛbɛ, segin-ka-bɔ-yɔrɔ danfaralen walima hakilijagabɔ-yɔrɔ kɛrɛnkɛrɛnnen dɔ walasa ka sugandili yɔrɔw mara. Sugandili yɔrɔ ye masin cogoya ja ye—o la, fɛn caman sirili bɛ ɲɔgɔn na, sisan kode jiralan, ani kumasen wɛrɛw minnu ma kɔrɔbɔ fɔlɔ. Kode lajɛlen kɔnɔ, cikanw bɛ sɔrɔ walasa ka sugandili yɔrɔ dɔ Gɛn ka Taa kulu dɔ kan tuma o tuma ni kɔrɔɲɔgɔnma dɔ bɛ ni kumasen caman ye minnu bɛ Bɛn ɲɔgɔn ma. Ni a dɛsɛra, boli-waati-sitɛmu bɛ sugandili yɔrɔ laban min Kɛ, a bɛ cogoya Lasegin, ka Tɛmɛ ka Taa kumasen nata la min ma Kɛ k’a lajɛ. Nin dɔn cɛɲi in, n’a ka gɛlɛn, o bɛ Forth ka deterministic flow sɛmɛntiya ka kɛ Prolog ka ɲinini ye min tɛ deterministe ye.

ye "Ka kan sanfɛla dɔ dalajɛ i n'a fɔ Prolog ka kɛ laɲini dɔgɔmannin ye i n'a fɔ Forth, o tɛ kumasenw bamanankan dɔrɔn ye; o ye masin modɛli abstrait dɔ miirili ye kokura ni dɔ wɛrɛ ka baarakɛcogo fɔlɔw ye. O baara sugu in ɲɛtaa bɛ bɔ boli waati siratigɛ ɲuman dilanni na min bɛ se ka kelenya ni kɔsegin ladege ni kantigiya ye fɛn dilannen dɔ kan min sinsinnen bɛ stack kan."(Alimankan na)

Nafolo waleyali ni Mewayz jɛɲɔgɔnya

Mun na an bɛ nin baara gɛlɛn sugu in ta ? O nafa ka bon kosɛbɛ. Forth tɔgɔ bɔra a ka portable (taamacogo) n’a ka hakilijagabɔ-sen misɛnninw fɛ. Prolog sitɛmu min lajɛlen don Forth kɔnɔ, o bɛ se ka baara kɛ sistɛmuw kan minnu bɛ don a kɔnɔ, mikrokontrɔlaw, walima plateforme o plateforme ni Forth interpreter bɛ a la, o bɛ na ni logique porogaramu seko barikamaw ye sigidaw la minnu nafolo ka dɔgɔ. O tɛmɛnen 'kɔ, o sitɛmu min bɛ Bɔ o la, o bɛ Se ka teliya kosɛbɛ, bari kode min bɛ Bɔ o la, o ye 'sèn ye, wa a bɛ Kɛ ni 'kɔrɔɲɔgɔnma fitinin ye. Nin hakilina in min ye ka moduluw dilan minnu bɛ se ka kɛ ka ɲɛ, minnu dilannen don kun na, o bɛ bɛn Mewayz modulari jago OS ma kosɛbɛ. Mewayz bɛ ɲɛtaa sɔrɔ yɔrɔ kɛrɛnkɛrɛnnenw farali la ɲɔgɔn kan minnu b’u ka baara kɛ ni baarakɛcogo ɲuman ye.

Miiri k’a filɛ ka sariyasun dɔ don a kɔnɔ walasa ka latigɛ gɛlɛnw kɛ Mewayz modulu dɔ kɔnɔ k’a ɲɛsin a ma. N’o motɛri ye Prolog daɲɛgafe ye min bɛ Forth masin virtuel teliyalen, min bɛ se ka ta, o laɲini, a bɛ se ka jagokɛcogo hakilinaw baara ni teliya ni dannaya danfaralen ye, a yɛrɛmahɔrɔnyalen don ni fɛnɲɛnamafagalanw ye minnu bɛ a kɔnɔ. O fɛɛrɛ sugu nafa jɔnjɔnw ye :

• Extreme Portability : Jagokɛcogo gɛlɛnw kɛ minɛn caman kan , k’a ta sɛriwusidaw la ka se edge computing nodes ma .
• Baara kɛcogo ɲuman : Ka se ka waleyali teliya sɔrɔ ni faamuyali layɛrɛw tɛmɛni ye minnu bɛ sɔrɔ Prolog waleyali sariyalenw na .
• Senfɛfɛn fitinin : baarakɛminɛn barikamaw dabɔ ni hakilijagabɔ ni marali wajibiyalenw ye minnu ka dɔgɔ.
• Jɛkulu jugumanba : ka hakilinata porogaramuw don a kɔnɔ cogo la min tɛ fɛn tiɲɛ i n’a fɔ a yɔrɔ yɛrɛma modulari sitɛmu belebeleba kɔnɔ .

Kunnafoni : dancɛ dɔ bɛ paradigmew ni ɲɔgɔn cɛ

Prolog to Forth labɛnni ye kan fila bɛɛ ka fɛn caman sɛgɛsɛgɛli seereya ye. A b’a jira ko hali porogaramuw kɛcogo minnu tɛ fɛn ye, olu bɛ se ka sinsin waleyali misali ɲumanw kan, minnu ka dɔgɔ. Hali n’a tora daɲɛgafe dilanni yɔrɔ kɛrɛnkɛrɛnnen ye, sariyakolo minnu bɛ o la—hakilila-jɔ-cogo ɲuman, boli waati cogoya nɔfɛtaama, ani paradigme cross-paradigm bamanankan-falen-falen — olu bɛ tali kɛ diɲɛ bɛɛ kɔnɔ. Plateformes i n’a fɔ Mewayz minnu bɛ nafa don modulari ni baarakɛcogo la, nin fɛɛrɛko jɛ-ka-baara jugu sugu in ye jago siratigɛ barikamaw ni ladamuni jɔnjɔnw jɔli kun ye. Ni an y’a faamuya cogo min na ka nin jatebɔ diɲɛ suguya caman ninnu cɛtigɛ, an bɛ fɛɛrɛ kuraw da wuli walasa ka hakilina hakilitigiw bila senkan a mago bɛ yɔrɔ min na tigitigi.