[mercury-users] how to import legacy Prolog code

[Jean-Marc Vanel]

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.

JMV

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



-- 
Jean-Marc Vanel
Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/
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
--------------------------------------------------------------------------