prolog

-1熱

1答えて

javaを使用したテストケースジェネレータ

私は、Javaを使用して '自動テストケースジェネレータ'を開発中です。 javaプログラムの入力はプロローグプログラムによって供給されます。入力が例えば2の整数の場合、javaプログラムは数値を二乗して出力として表示する必要があります。同じように、3つの整数がある場合、Javaプログラムは一度に1つの数値を受け入れ、すべての結果を表示する必要があります（つまり、それぞれのケースをテストする必要が

java prolog 2011-10-11

---

1熱

1答えて

プロローグの分割

私はプロローグで剰余定理と秩序立ての原理を使って除算を定義しようとしています。 私がこれまで持っている： less(0, s(0)). less(0, s(B)) :- less(0, B). less(s(A), s(s(B))) :- less(A, s(B)). add(A,0,A) :- nat(A). add(A,s(B),s(C)) :- add(A,B,C). % ad

math recursion prolog successor-arithmetics 2011-10-17

---

1熱

2答えて

プロローグが重複リストを返す

グラフ内で3つの可能なパスを見つけようとすると、重複したリストを取得していますか？コードに何が間違っているのでしょうか？ 6はSで重複した：13、S：Sとの7：14、S：S 8：重複のパターンがSであった co(X,Y) :- hen(X,Y) ; hen(Y,X). pan(A, B, _, [A,B]) :- co(A, B). pan(A, B, Vix, [A | Len]) :-

list prolog 2011-10-19

---

1熱

1答えて

プロローグ

で式ツリーのリストを作成する のは、私は式ツリーを形成することを可能にする、次のプロローグコードを考えてみましょう： plus(_,_). eval(A, A) :- number(A). eval(plus(A, B), R) :- eval(A, A_R), eval(B, B_R), R is A_R+B_R. 私は簡単に式ツリーに次のように定義し、評価することができます eval

prolog expression-trees 2011-10-20

---

0熱

1答えて

Strawberry Prolog setof

私はStrawberry Prolog（コンピュータラボが私の学校に持っているもの）を使用してファミリーツリーを実装しており、重複した回答を取り除きたいと思っています。 findall関数はすべての答えをリストに入れたStrawberry Prologで動作しますが、このコンパイラではsetofは存在しません。私はコンパイラを切り替えたり、setof関数をこの関数に追加することができました。後者は

prolog 2011-10-20

---

-1熱

1答えて

Prologは特定の要素をリストに表示します

私はリストG = [a、b、c、d、e、f、g、h、i、j]を持っています。ブドウ、a、梨、f、オレンジ、ドリアンなどの要素を持つTリストがあります。私はT - >要素のFirstElementのように、T -のG - > LastElementのように印刷したいと思います。リンゴ、a、f、ドリアン。私の問題はリンゴ - >ドリアンのみを表示できるようになりましたが、a、fは表示されませんでした。

list prolog 2011-10-20

---

3熱

1答えて

このプロローグプログラムが無限再帰を引き起こすのはなぜですか？

私は簡単な知識ベースを作ろうとしています。しかし、私はカテゴリシステムを動作させるのに苦労しています。ここで プログラムは、これまでのところです： subset(tomatoes, fruits). subset(fruits, food). subset(X, Z) :- subset(X, Y), subset(Y, Z), not(X==Y), not(Y==Z), not(X==Z).

prolog stack-overflow 2011-10-21

---

5熱

1答えて

これはPrologでテール再帰的に行うことができますか？

私はPrologを学んでおり、練習問題として、与えられた数（すなわち、0 = 0,1 = 1,2,2 = 3,3 = 6）までのすべての数の合計を計算する単純なデータベースを試しています。 、4 = 10、...）。十分に簡単：スタックオーバーフローでどこか counting_sum(150000, X).周りに吹く counting_sum(0, 0). counting_sum(Num, S

recursion prolog stack-overflow tail-recursion instantiation-error 2011-10-22

---

6熱

3答えて

深さが制限されたプロローグ検索（バニラメタインタープリタ）

限られた深さで検索するために、バニラメタインタープリタを変更する必要があります。私は私のsollutionをテストするための次のコードを使用しています： value(wire1,1). connected(wire2, wire1). connected(wire3, wire2). connected(wire4, wire3). connected(wire5, wire4). co

prolog metaprogramming 2011-10-23

---

3熱

2答えて

幾何学の類推、なぜ私はより多くの答えを得ることができますか？ここ

は私のプロローグコードです：これは を設定し、ここで簡単な実行で表す figure(1, middle(circle, circle)). figure(2, top_left(circle, circle)). figure(3, bottom_right(circle, circle)). figure(4, middle(square, square)). figure(5, top

prolog 2011-10-23

---