Ja, ich denke, das kann man so gelten lassen. ^^
Deklarativ ist eigentlich eine Oberkategorie, u.a. eben von logischer (weswegen Prolog als logikorientierte Sprache natürlich zu beidem gehört) und auch funktionaler Programmierung, aber so pingelig muss man ja nicht unbedingt sein.
Du bist dran!