[mercury-users] how to import legacy Prolog code

Paul Bone pbone at csse.unimelb.edu.au
Sat Jul 3 15:48:28 AEST 2010


On Fri, Jul 02, 2010 at 03:07:27PM +0200, Jean-Marc Vanel wrote:
> ( after reading the page
> http://www.mercury.csse.unimelb.edu.au/information/doc-latest/mercury_trans_guide/index.html
> )
> 
> There are three problems: cuts, assert and retract, and the generation
> of statements pred and mode and type.
> 
> 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.
> 
> Also, in the some Prolog code, statements similar to Mercury are
> present, like in SWI Prolog libraries [1], or in Attempto. Could the
> Mercury parser make use use of them? They start with %% at the first
> column.
> 
> Note that there is already a type checker library in (SWI-)Prolog:
> type_check.pl [2] , by which one  can use Mercury-style type
> declarations and predicate signatures.
> 
> [1] http://www.swi-prolog.org/pldoc/doc_for?object=section(2,'5',swi('/doc/packages/pldoc.html'))
> [2] http://tomschrijvers.blogspot.com/2008/02/types-for-prolog.html
> 

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

Thanks.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 489 bytes
Desc: Digital signature
URL: <http://lists.mercurylang.org/archives/users/attachments/20100703/5f2ec020/attachment.sig>


More information about the users mailing list