Extensionale und intensionale Prädikate des Programms

Menge der extensionalen Prädikate:$\text{edb}\left(𝒫\right)=\left\{\right\}=\varnothing$

Menge der intensionalen Prädikate:$\text{idb}\left(𝒫\right)=\left\{\right\}=\varnothing$

Variablen und Konstanten des Programms

Menge der Variablen: $\text{Var}\left(𝒫\right)=\left\{\right\}=\varnothing$

Menge der Konstanten: $\text{adom}\left(𝒫\right)=\left\{\right\}=\varnothing$