Gödel (programovací jazyk)

Z Multimediaexpo.cz

Nemáte oprávnění „upravit tuto stránku“. Důvod:

Můžete si prohlédnout a zkopírovat zdrojový kód této stránky:

'''Gödel''' je v [[Informatika (počítačová věda)|informatice]] [[Deklarativní programování|deklarativní]] a všestranně použitelný [[programovací jazyk]], který dodržuje [[Logické programování|logické ]] [[programovací paradigma]]. Jedná se o [[Typová kontrola|silně typový jazyk]], jehož systém je založen na mnohotříděné logice s parametrickým polymorfismem. Jazyk je pojmenován po logiku [[Kurt Gödel|Kurtu Gödelovi]]. == Rysy == Gödel má modulární systém, který podporuje libovolnou přesnost celých čísel, racionálních čísel a čísel s pohyblivou desetinnou čárkou. Může řešit úlohy v oboru konečných celých čísel a zároveň v oboru lineárních racionálních čísel. Podporuje zpracování konečných množin. Má flexibilní výpočetní pravidla a pročišťovací (?) operátor ({{Vjazyce2|en|''pruning operator''}}), který zevšeobecňuje odkaz programovacích jazyků s konkurenční logikou. Gödelovy metalogické prostředky poskytují podporu pro meta-programy, které zpracovávají analýzy, transformace, kompilace, verifikace, ladění a další úlohy. == Příklad == Následující modul v jazyce Gödel hledá největšího společného dělitele dvou čísel. Příklad demonstruje deklaratorní povahu jazyka, bez ohledu na efektivitu řešení. CommonDivisor predikát říká, že jestliže čísla <code>i</code> a <code>j</code> nejsou nula, pak <code>d</code> je jejich společným dělitelem za podmínky, že leží v intervalu mezi 1 a menším číslem z čísel <code>i</code> a <code>j</code>, a že <code>i</code> a <code>j</code> dělí celočíselně. Gcd predikát pak říká, že <code>d</code> je největší společný dělitel čísel <code>i</code> a <code>j</code>, jestliže je společným dělitelem <code>i</code> a <code>j</code> a neexistuje žádné takové <code>e</code>, které by bylo společným dělitelem těchto čísel <code>i</code> a <code>j</code> a bylo větší než <code>d</code>. <code>MODULE GCD. IMPORT Integers. PREDICATE Gcd : Integer * Integer * Integer. Gcd(i,j,d) <- CommonDivisor(i,j,d) & ~ SOME [e] (CommonDivisor(i,j,e) & e > d). PREDICATE CommonDivisor : Integer * Integer * Integer. CommonDivisor(i,j,d) <- IF (i = 0 \/ j = 0) THEN d = Max(Abs(i),Abs(j)) ELSE 1 =< d =< Min(Abs(i),Abs(j)) & i Mod d = 0 & j Mod d = 0.</code> == Externí odkazy == *(anglicky) http://www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html {{Článek z Wikipedie}} [[Kategorie:Počítačové jazyky]]

Návrat na stránku „Gödel (programovací jazyk)“.