jason-lang / jason

Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
http://jason-lang.github.io
GNU Lesser General Public License v3.0
224 stars 67 forks source link

Unification test on a while loop #85

Closed cleberjamaral closed 4 years ago

cleberjamaral commented 4 years ago

Simple test that shows that the incognito S is unified on the context of a while but it is free out of it.