Lập trình logic là gì?

Là mẫu lập trình quan niệm rằng: logical assertions như là các chương trình.

Là mẫu lập trình quan niệm rằng: logical assertions không phải là các chương trình.

Cả A và B đều đúng.

Cả A và B đều sai.