はこのpred問題で制約の順序ん： pred Example {
A
B
C
}
A、B、Cは制約を表しています。 pred Example {
B
A
C
}
注文されたif-then-elseでの制約です：？ はpredこのpredと同じであることですかThis assertion says that if a read,
[更新]私は@ Hovercouchの幻想的な解決策を学ぶのに多くの時間を費やしました（彼の解決策を参照）。私はPeter Krienの洞察と一緒に彼の解答を取り、要約を書いた：3 ways to model the set of non-negative even numbers。私はあなたのコメントを歓迎します。 整数の集合を定義する合金モデルを作成しようとしています。 0がセットである：私は
数値式の解を探したいのですが、それで合金が使用できるかどうか疑問です。 合金に関する限られた情報を見つけましたが、それはできると思いますが、私には同様の問題の例は見つかりませんでした。 これは確かに簡単ではないので、文章に時間と資金を投入する前に、これが実行可能かどうかを知りたいと思います。 簡略化した例： (1) a + b = c, (2) a > b, (3) a > 0, (4) b >
食堂の哲学者の問題では、哲学者とフォークのテーブルがあります。 P1 -> F1
F1 -> P2
P2 -> F2
F2 -> P3
P3 -> F3
F3 -> P1
すなわち：私はテーブルを表し、次の関係を望んでこの問題については sig P {}
sig F {}
各PはFを指し、各FはPを指し、これは円を形成する。私はこの関係を取得するための関数を呼び出すしたいと思い