Logik und Logische Programmierung EinfÃ¼hrung

More documents

Recommendations

Info

Geschwindigkeit, Fib Rekursiv! Java (BigInteger)! Fib(25), 121393, Zeit 90 ms! Fib(30),1346269, Zeit 632 ms! Fib(35), 14930352, Zeit 7030 ms! SICStus Prolog 4! | ?- main.! 25 : 121393 ; Time = 20 ms!! 30 : 1346269 ; Time = 250 ms!35 : 14930352 ; Time = 2750 ms!
LIPS! Logical Inferences per Second! On MacBook Pro 2,33 GHz:!$ sicstus4 -l bench.pl --goal "bench(100000)."% compiling /Users/leuschel/PrologTemp/bench.pl...% compiled /Users/leuschel/PrologTemp/bench.plin module user, 10 msec 4604 bytesSICStus 4.0.1 (i386-darwin-8.9.1): Tue May 15 14:53:23 CEST 2007Licensed to SP4phil-fak.uni-duesseldorf.de33288590.604026847 lips for 100000iterations taking 1490 msecs (1500-10)
Page 1 and 2: Logik und Logische ProgrammierungEi
Page 3 and 4: Teil 1:!(Mathematische)LogikGregor
Page 5 and 6: (Mathematische) Logik! Auch symboli
Page 8: Verschiedene Logiken! Aussagenlogik
Page 11 and 12: Syntax der Aussagenlogik Junktoren
Page 13 and 14: Darstellung in Aussagenlogik! (A_Ri
Page 15 and 16: Truth Tables! " ¬! ! # " ! $ " ! %
Page 17 and 18: Äquivalenz, Logische Folge! A und
Page 19 and 20: Aussagenlogik!Problemif(x==null) {s
Page 21 and 22: TheoremKurze Geschichte II!GödelsU
Page 23 and 24: Teil 2:Logische Programmierung &Pro
Page 25 and 26: Kurze Geschichte III!Predicate Logi
Page 27 and 28: Klassische vs Logische Programmieru
Page 29 and 30: OVERLOAD BREAKAGE - CHIP LOAD PER T
Page 31 and 32: Prologʼs Syntax! Facts!human(socra
Page 33 and 34: Lists in Prolog! Empty list:! [] !
Page 35 and 36: Practical Advantages! Automatic Mem
Page 37 and 38: Truth Table in Prolog! Prolog: 17 C
Page 39 and 40: TruthTable.javafor (Permutator p =
Page 41 and 42: IdCollector.javapackage de.jastram.
Page 43: But Prolog will not be as fastRight
Page 47 and 48: Opening (25 May 2009)!TEN DECLARATI
Page 49 and 50: Background Material! Ulf Nilsson an
Page 51: Some Existing Prolog Systems! Prolo

Logik und Logische Programmierung EinfÃ¼hrung

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?