Abstracts of some of my papers

Under construction

Basics of logic programming as a declarative programming paradigm

Reasoning about operational semantics of logic programs