トップページ
⇒
tech
1001コメント
465KB
PrologでまったりPart 2
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0169
デフォルトの名無しさん
2005/04/13(水) 15:14:58
お前ら、prologを言語だと思うなよ
これは定理証明支援が目的なんだからCやらPascalやらと同じに見るなよ
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています