1.5) Logic programming ====================== - procedural languages (java, C, C++, Perl, Python, Pascal, Fortran) - Functionnal languages (lisp, scheme, ML, caml) - Descriptive languages (Prolog) Based on predicate logic. Database: collection of constants and predicates: constants: bear, fish, fox, grass predicates: animal(bear), eat(bear, fish) queries: is(animal(bear)), which(x: eat(bear,x)) Inference engine: Expert systems Rule-based systems Ex: automatic medical diagnosis guides for mushrooms Install CAML or any other functional languages, and play with it. There is a tutorial for caml. http://www.inria.fr/ ftp://ftp.inria.fr/lang/caml-light/