unification in plan-trigger fails

LightJason / Java-AgentSpeak

LightJason - AgentSpeak(L++) for Java

https://agentspeak-java.lightjason.org

Other

23 stars 7 forks source link

Closed flashpixx closed 7 years ago

flashpixx commented 7 years ago

The unification within the plan-trigger with two variables:

+!foo( bar(X), anyother(Y) <-

seems to be fail, within manual call

+!otherplan <-
      [H|T] = agent/belieflist();
      >>( abelief( inner1(X), inner2(Y), H  )
.

it will work.