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.
Actually, Leda does not support logic programming very well since it
does not do full unification.
It also does not support concurrent programming.
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
Good luck with your course! And please keep on asking questions if
anything is not clear.
Peter
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
