Copyright (C) 1997. ƣ§

¹㡧

example/append.dμ¹ʲ˼

% host example/append.d 8 4
---------------------
  Parallel FOIL 1.6
---------------------
32 cells are ready.
component/3
nil/1
equal_list/2
append/3
1.44 sec.

49 tuples are remaining.

[Determinate Literals]
over.

[Best Literal] (15/225)
nil(A)

[Best Literal] (15/15)
equal_list(B,C)

[Found clause]
append(A,B,C) :- nil(A),equal_list(B,C).
34 tuples are remaining.

[Determinate Literals]
component(A,D,E)
component(C,F,G)

[Best Literal] (34/68)
append(E,B,G)

[Best Literal] (34/34)
component(A,F,E)

[Found clause]
append(A,B,C) :- component(A,D,E),component(C,F,G),append(E,B,G),component(A,F,E
).
0 tuples are remaining.

6.45 sec.

*** HOST_EXIT(0) ***
