最も美しいプログラミング言語は？ Part3

>>479 大分上の方に、
_出荷日　+　_商品番号　+　_数量　:-　売上入力検査(_出荷日,_商品番号,_数量,_診断),　...　.
というようなデータ入力の述語定義を示し、本当はPrologで
出荷日 A　+　商品番号　B　+　数量　C　:-　売上入力検査(A,B,C,_診断), ... .
のように型記述ができればいいのだがね、というようなことを書いた。
この場合、A,B,Cはそれぞれ、出荷日型,商品番号型,数量型,であると考えてはいけないの？
?-　20091016+200+36.4.
というような入力をしたいのだが。