Logik und Logische Programmierung Einführung
Logik und Logische Programmierung Einführung
Logik und Logische Programmierung Einführung
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Prologʼs Datastructures! Constants:!human(socrates).! Integers, Reals:!fib(0,1).pi(3.141).!lower-case functor (Compo<strong>und</strong>) Terms:!left_of_tree(tree(L,R),L).!right_of_tree(tree(L,R),R).!?- left_of_tree(tree(leaf(2),leaf(3)),R).!