Logic programming languages.

Computational logic = logic programming and beyond : essays in honour of Robert A. Kowalski.. part II / by: (Language materials, printed)

Computational logic = logic programming and beyond : essays in honour of Robert A. Kowalski.. part I / by: (Language materials, printed)

Constraint solving and planning with Picat by: (Electronic resources)

Theory of Computation.

Logic programming.

Artificial Intelligence (incl. Robotics)

Logic programming languages.

Automatic theorem proving.

Data Mining and Knowledge Discovery.

Computer Science.