5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

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

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

259 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.02 2018/11/22 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)