Advanced Logics

Prof. Dr. rer. nat. habil. H. Reichel
Dr. rer. nat. W. Nauber

Examination, 27.07.06, r. 350 (GRU), 10-12 h

Example of examination problems - Summer Term 2003

Lectures

Thursday, room 350 (GRU), 09.20 - 10.50 h, 1. lecture 6.4.06

Friday, room 350 (GRU), 11.10 - 12.40 h

Tutorials

Monday, room 350 (GRU), 16.40 - 18.10 h

Exercise 1, April 10^th

Exercise 2, April 24^th

Exercise 3, May 8^th

Exercise 4, May 15^th

Exercise 5, May 22^d + 29^th

- Please send me your solution of exercise 5.3 per e-mail (wn1@inf.tu-dresden.de)

Exercise 6, June 12^th

Exercise 7, June 19^th

Exercise 8, June 26^th in room 459

Exercise 9, July 3^d +10^th in room 459/350

Exercise 10, July 10^th + 13^th in room 350

Practicals for Lambda Prolog

Thursday, room 106 (GRU), 7.30 - 9.00 h

Practical 1, May 11^th solution of practical1

Practical 2, May 18^th solution of practical2

Examples for accumulate, import and local-directive; query-command:

accumulate.mod import.mod import_accumulate.mod
local_accumulate.mod local_import.mod
query_difference_accumulate_import.htm
m1_accumulates_m2.mod m1_imports_m2.mod

lambda Prolog Homepage

Miller, Dale: lambda-Prolog: An Introduction to the Language and its Logic

Felty, Amy: A Tutorial on Lambda Prolog and its Applic. to Theorem Proving

Download of Terzo-implementation version 1.2b (Windows)

- this needs Standard ML of New Jersey Version 110.0.7

An example for file terzo.rc (to copy to ...\terzo\lib)

A quick start using Terzo under Windows

Loader Commands

Last modified: 24.07.06, wn1@inf.tu-dresden.de