FLP
(→Příklady) |
|||
Řádka 53: | Řádka 53: | ||
nonvar(_). - > false. |
nonvar(_). - > false. |
||
nonvar(X). - > false. |
nonvar(X). - > false. |
||
+ | |||
+ | ==Gödel== |
||
+ | |||
+ | Výpočet fibonaccio čísel |
||
+ | |||
+ | MODULE Fibonacci. |
||
+ | IMPORT Integers. |
||
+ | |||
+ | PREDICATE Fib : Integer * Integer. |
||
+ | |||
+ | Fib(0,0). |
||
+ | Fib(1,1). |
||
+ | Fib(k,n) <- |
||
+ | k > 1 & |
||
+ | FibIt(k-2,1,1,n). |
||
+ | |||
+ | PREDICATE FibIt : Integer * Integer * Integer * Integer. |
||
+ | |||
+ | FibIt(0,_,g,g). |
||
+ | FibIt(k,f,g,n) <- |
||
+ | k > 0 & |
||
+ | g < n & |
||
+ | FibIt(k-1,g,f+g,n). |
||
+ | |||
+ | |||
+ | Výpočet faktoriálu |
||
+ | |||
+ | MODULE Factorial |
||
+ | IMPORT Integers |
||
+ | |||
+ | PREDICATE Fac: Integer * Integer |
||
+ | |||
+ | Fac(0,1). |
||
+ | Fac(1,1). |
||
+ | Fac(k,v) <- |
||
+ | k > 1 & |
||
+ | Fac(k-1, v*k). |
Verze z 14. 5. 2012, 09:09
Obsah |
Haskell
Stránka o programování v jazyce haskell.
Základní funkce
- init - vrátí sezname kromě posledního prvku
- last - vrátí seznam kromě prvního prvku
- head - vrátí první prvek ze seznamu
- last - vrátí poslední prvek seznamu
Znovunačtení souboru
>> :r
Příklady
Struktura pro lambda kalkul
data Lam = Var String | Abs ( Lam ) ( Lam ) | App ( String ) ( Lam ) deriving (Show, Eq)
Nalezení všech volných proměnných, pokud nemůžeme použít elem, tak si jej nadefinujeme.
my_elem it ll = (filter (==it) ll ) /= []
Jsou potřeba řešit 3 případy, které jsou dány 3 základními prvky lambda kalkulu: proměnná, aplikace, abstrakce. Myšlenkou je, že si udržujeme počet všech vázaných proměnných. Pokud nalezneme proměnou, která není ve vázaných, tak je volná a vrátíme ji na výstup (díky rekurzi probublají jako výsledek, aniž by je bylo potřeba přímo ukládat). Vázané proměnné jsou definovány pouze v abstrakci a tedy všechny které jsou pak "nalevo" a stejného jména, tak jsou vázané.
get_free lam = eval lam [] where eval (Var a) ll = if my_elem a ll then [] else [a] eval (Abs b c) ll = (eval b ll) ++ (eval c ll) eval (App a b) ll = eval b (a:ll)
Prolog
Stránka o programování v jazyce prolog.
Načtení souboru pro wsi-prolog
>> compile('filename.pl')
- nonvar a var testuje zda se jedná o proměnou nebo hodnotu. Funkce var vrací true pokud se jedná o proměnou např. X, _ , kdežto nonvar vrací true v případě že se jedná o hodnotu např. 'jana', 1.
var(1). -> false. var('jana'). -> false. var(_). - > true. var(X). - > true.
nonvar(1). -> true. nonvar('jana'). -> true. nonvar(_). - > false. nonvar(X). - > false.
Gödel
Výpočet fibonaccio čísel
MODULE Fibonacci. IMPORT Integers. PREDICATE Fib : Integer * Integer. Fib(0,0). Fib(1,1). Fib(k,n) <- k > 1 & FibIt(k-2,1,1,n). PREDICATE FibIt : Integer * Integer * Integer * Integer. FibIt(0,_,g,g). FibIt(k,f,g,n) <- k > 0 & g < n & FibIt(k-1,g,f+g,n).
Výpočet faktoriálu
MODULE Factorial IMPORT Integers
PREDICATE Fac: Integer * Integer
Fac(0,1). Fac(1,1). Fac(k,v) <- k > 1 & Fac(k-1, v*k).