FLP - Historie editací

Pajinek: /* Gödel */

2012-05-14T08:24:07Z

‎Gödel

Pajinek v 14. 5. 2012, 08:09

2012-05-14T08:09:04Z

Pajinek: /* Příklady */

2012-05-13T12:42:08Z

‎Příklady

Pajinek: /* Příklady */

2012-05-13T12:40:58Z

‎Příklady

Pajinek v 13. 5. 2012, 12:34

2012-05-13T12:34:38Z

Pajinek v 12. 5. 2012, 22:57

2012-05-12T22:57:16Z

Pajinek: /* Prolog */

2012-04-10T22:03:19Z

‎Prolog

Pajinek: Založena nová stránka: == Huskell == '''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 sezn…

2012-04-10T21:51:58Z

Založena nová stránka: == Huskell == '''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 sezn…

Nová stránka

== Huskell ==

'''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

== Prolog ==
Načtení souboru pro wsi-prolog
>> compile('filename.pl')

← Starší verze		Verze z 14. 5. 2012, 08:24
Řádka 90:		Řádka 90:
	k > 1 &		k > 1 &
	Fac(k-1, v*k).		Fac(k-1, v*k).
		+
		+
		+	Zjistí zda je číslo prvočíslo
		+
		+	MODULE PRIME.
		+	IMPORT Integers.
		+
		+	PREDICATE Prime : Integer.
		+
		+	Prime(prime) <- ~ SOME [x] (x > 1 & x < prime & prime Mod x = 0).

← Starší verze		Verze z 14. 5. 2012, 08:09
Řá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).

@@ Řádka 25: / Řádka 25: @@
 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 nám probublají až jako výsledek aniž bychom je potřebovali přímo ukládat.
+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é.

@@ Řádka 23: / Řádka 23: @@
  my_elem it ll = (filter (==it) ll ) /= []
  get_free lam = eval lam []
@@ Řádka 29: / Řádka 33: @@
        eval (Abs b c) ll = (eval b ll) ++ (eval c ll)
        eval (App a b) ll = eval b (a:ll)
 == Prolog ==

← Starší verze		Verze z 10. 4. 2012, 22:03
Řádka 13:		Řádka 13:
	Načtení souboru pro wsi-prolog		Načtení souboru pro wsi-prolog
	>> compile('filename.pl')		>> 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.

@@ Řádka 10: / Řádka 10: @@
 Znovunačtení souboru
  >> :r
 == Prolog ==

@@ Řádka 1: / Řádka 1: @@
-== Huskell ==
+== Haskell ==
 '''Základní funkce'''
@@ Řádka 11: / Řádka 11: @@
 == Prolog ==
 Načtení souboru pro wsi-prolog
  >> compile('filename.pl')