[mercury-users] how to import legacy Prolog code

Jean-Marc Vanel jeanmarc.vanel at gmail.com
Sat Jul 3 18:46:06 AEST 2010

2010/7/3 Paul Bone <pbone at csse.unimelb.edu.au>:
> On Fri, Jul 02, 2010 at 03:07:27PM +0200, Jean-Marc Vanel wrote:

>> For the generation of statements pred, mode, the idea is that since
>> the Mercury compiler can detect an inconsistency between the
>> hand-written declaration and the implementation of the body, it can as
>> well produce a (tentative) declaration coherent with the
>> implementation body.

> Okay, are you asking a question about this?  I don't know how to respond.

Sorry Paul, while taking notes I pasted too much in the mail.
I deleted all but the necessary part above.
I 'm asking if writing an importer assistant along this idea is
something feasible.
This importer assistant would take as input a prolog source and output
the prolog source with guessed pred and mode declarations added.


> Thanks.
> Version: GnuPG v1.4.9 (GNU/Linux)
> WphIzduey3v5k9Hw3kgR9yBUg9WAH6yAAy2J0eFprPJQ+0VAzYbPJXwJjPSK96yn
> ICVbcLC3FVIJoW+omzVC/EUOklO1kCP4cXwVdcnocsfnnFG4elb0gd7tdYJCD3n/
> MYIHXroa2/5Pvn9yaU3ea1mFgqMsJ/8XvtNlitdsDBkcamALtBJOWsvjPsfpB0kr
> kWoLuCVpEbltpj7AMnr1PEP9BUq8GIby+bMoUHoFEuBFYyYSyhenoZUFSKT6cg16
> x/udAOhCNMHyAM4si6cNeP00pAw2+xtlqiP5mnH6J8TBolvskl5Aj8DaMTUDMHE=
> =0Xxb

Jean-Marc Vanel
Consulting, services, training,
Rule-based programming, Semantic Web
EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore,
Java bytecode
+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16
( we rarely listen to voice messages, please send a mail instead )

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list