Prolog is basically a propositional logic based language.Quoted from wiki about Prolog's basis :
"Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations".
First order logic is nothing but an extension of propositional logic by use of unviersal and existential quantifiers.
Hence D) option should be correct.