The FLUX system is a very elegant framework for agent development.
Unfortunately, in our experience, and perhaps the experience of
the author, the framework is not suitable performant in order to
enable generation of large scale plans.
This is rather peculiar
as Prolog itself is performant and the design is minimal.
have to do with the efficiency of the CLP library (CLP(fd)).
Anyway, we have extended it in numerous ways, firstly, by allowing
arbitrary terms instead of simply integers as arguments, by
employing the serpro mapping.
We have also included a nested to
nonnested term wrapper.
Temporal capabilities are partially
Lastly, we integrated BFS.
We have created several
domains, mainly related to softbots and security.