Variable unification question (or bug)

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Variable unification question (or bug)

Iain Wallace-2
Ok, so I have the following test case:

/* Initial beliefs and rules */
allowed(Z).
thing(object).
thing(object2).
on(object,object2).

/* Initial goals */

!test(X,object). //fails

!simple(X). //All these succeed.
!simple(object).
!simple(object2).

/* Plans */
+!simple(Y) : allowed(Y) & thing(Y)
        <- .print("simple").
               
+!test(X,Y) : thing(X) & thing(Y) & on(X,Y) & allowed(Y)
        <- .print("test").

The call to test fails (no applicable plan) and yet the calls to simple succeed. As far as I can tell, !test should succeed too - but doesn't.

Have I misunderstood something about the operation of Jason here, or is there a bug?

Cheers,

Iain
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.


------------------------------------------------------------------------------
_______________________________________________
Jason-users mailing list
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jason-users