banner

Characteristics of logic programming paradigm