Just a quick comment that ExploreOne displays the search path to one
solution, while ExploreAll displays them all.
{ExploreAll Suit}
Basically correlates to the SolveOne and SolveAll functions.
Chris Rathman.
Alan Oswald wrote:
Raph, thank you very much. I now see the use I might make of the
ExploreOne.
Chris, thanks for the extra information. It is now working perfectly
with the Solve part compiled as a functor and linking nicely into the
rest of the code.
FYI, I teach at the UNiversity of Teesside in the UK and this semester
I am teaching a programming paradigms module. This is the first time
a paradigms module has been taught as opposed to separate module in
AI, functional programming and OOP. When I was planning the module I
needed to find a suitable set of languages to use. Originally I came
across a language called LEDA that seemed to meet all my needs since
it, alledgedly, supported the four main paradigms. Unfortunately we
were unable to get it to run on our Linux system and all the
originally developer could tell us was that it was no longer supported.
Then I came across Mozart-Oz. It seems to meet most of my
requirements and I have been using it on the course since
February. Two reasons for looking for a single language to support
the course are firstly, only one environment to learn and secondly,
the chance to integrate the paradigms within a single environment.
We have now covered the basics of declarative programming and are now
moving on to logic programming. This need to supply procedures from
outside the system will be useful in dealing with the creation of, and
linking to, external libraries.
Just thought someone might like to know what I was doing.
Alan
------------------------------------------------------------------------
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
