This dual declarative/procedural interpretation later became formalised in the Prolog notation H :- B1, …, Bn. which can be read (and used) both declaratively and procedurally.
Tato duálně deklarativní/procedurální interpretace byla později formalizována v notaci Prologu: H :- B1, …, Bn. která může být čtena a použita deklarativně i procedurálně.