Acknowledgement

I would like to thank everyone who has supported me during the work concerned with preparation of this dissertation and the prototype system.

First of all, I would like to thank my advisor Prof. Antoni Ligęza, for his support. Furthermore, I would like to thank all my Colleagues and Professors from the Institute of Automatics, AGH.

I would like to thank Dr. Jan Wielemaker from the Department of Social Science Informatics (S.W.I.) University of Amsterdam for his support concerning SWI-Prolog and the whole SWI-Prolog team for a really great software which SWI-Prolog is. I would also like to thank Dr. Cezary Z. Janikow from the Department of Mathematics and Computer Science, University of Missouri - St. Louis, USA, for showing me a different perspective with his remarks.

I would like to warmly thank Prof. Bernard Waxman from the Department of Computer Science, Southern Illinois University Edwardsville, USA, for supporting me during my work at SIUE. I would also like to thank Prof. Wu Trong from the Department of Computer Science, Southern Illinois University Edwardsville, USA, for his remarks on AI and the Fifth Generation Project. I would like to thank Ku-Jin Kim, Ph.D. from the Department of Mathematics and Computer Science, University of Missouri - St. Louis, USA, for various remarks concerning database technologies. I would like to warmly thank John J. Antognoli from the Department of Mathematics and Computer Science, University of Missouri - St. Louis, USA, for his comments.

And last but not least I would like to thank Joanna Pacyna, M.A. for her help, support, and giving me a great name of Jelly View.