Re: [Jason-users] atomic formula and vars in asl

[Jomi F. H. <jom...@gm...>]

maybe, you can use some meta-programming with =.. operator
...
.intend(G) &
G =.. [Functor,[Arg1,Arg2],Annots] & // G arity is 2
.fail_goal(G) & ....


On Fri, 26 Apr 2019 at 12:00, Jomi Hubner <jom...@gm...> wrote:

> Hi Amandine,
>
> yes, vars can have annotations, but not terms. Using other words, the
> functor can be a variable (for unification purposes).
>
> Jomi
>
> > On 26 Apr 2019, at 10:25, Amandine Mayima <am...@la...> wrote:
> >
> > Hello,
> >
> > Is it normal that beliefs in the form of Var can be added but not in the
> form of Var(atom/Var) which are parsed when belief addition as +Var;
> atom/Var; ? When it's Var(atom1/Var2,atom2/Var3), it cannot be parsed. From
> the EBNF, I understand that it should be possible.
> >
> > Of the same style, I cannot use an IA with an argument of the form
> Var(atom/Var) for example I can do .fail_goal(goto(Place,Speed)), I can do
> .fail_goal(TaskName) but I cannot do .fail_goal(TaskName(Place,Speed)).
> >
> > Best regards,
> >
> > Amandine
> >
> >
> >
> > _______________________________________________
> > Jason-users mailing list
> > Jas...@li...
> > https://lists.sourceforge.net/lists/listinfo/jason-users
>
> --
> Jomi Fred Hubner
> Department of Automation and Systems Engineering
> Federal University of Santa Catarina
> PO Box 476, Florianópolis, SC
> 88040-900 Brazil
> http://jomi.das.ufsc.br
> --
> be good. be kind. be happy. (Conrad Anker)
>
>
>
>