Logical programming languages .
Logical languages are widely used in the fields of databases, expert systems, and artificial intelligence (AI)
1.show the function of the logical programming languages with some Prolog examples.?
2. what is the SLD resolution (Selective Linear Definite clause resolution) ?
3. What is the role unification ( in logic) or What role does unification play?
4. what are Horn clause_
5.What do closed-world assumption (CWA) and negation-as-failure mean?
6.Solve the “goat, wolf, and cabbage” problem with a Prolog program.
recommended sources from the Prof.
1.Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov:
Complexity and expressive power of logic programming. ACM Comput.
Surv. 33(3): 374-425 (2001)
2.Ulf Nilsson and Jan Maluszynski, Logic, Programming and Prolog, 2ed,
Wiley, 1995
3.Beierle, Christoph, Kern-Isberner, Gabriele: Methoden der
Wissensrepräsentation und –verarbeitung (German)
Last Completed Projects
| topic title | academic level | Writer | delivered |
|---|