Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!
Logic Programming is a paradigm for representing information using definite clause logic. New information that is implicitly contained within the encoded information can be inferred automatically. This kind of automatic inference is called reasoning. There are several reasoners available for processing information encoded within the paradigm of logic programming. The task of this thesis is to evaluate the Logic Programming reasoners Ontobroker, XSB, SWI-Prolog, Flora-2 and KAON2. For this purpose a use case must be devised which is appropriate for comparing these reasoners. Afterwards the use case shall be implemented and the reasoners shall be evaluated according to this use case.