[mercury-users] how to import legacy Prolog code
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
> 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 , or in Attempto. Could the
> Mercury parser make use use of them? They start with %% at the first
> Note that there is already a type checker library in (SWI-)Prolog:
> type_check.pl  , by which one can use Mercury-style type
> declarations and predicate signatures.
>  http://www.swi-prolog.org/pldoc/doc_for?object=section(2,'5',swi('/doc/packages/pldoc.html'))
>  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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 489 bytes
Desc: Digital signature
More information about the users