だいたいコードの中の普通の日本語でいう述語なんか出てこないだろうってw

お前はコードの中に、

（空は）青い
（地球ま）回る

とか書くのかとw
ダイクストラ先生の時代からコードってのはデータと手続きで出来てるんだよw
それは宣言型の言語だろうが同じこと