Re: Problem writing string quotes

> Hi,
>
> I'm trying to port a program that I wrote in LPA MacProlog over to SWI
> Prolog.
>
> One of the things the program does is to write a Prolog term using the
> built-in predicate 'write' that contains string quotes.
>
> That is to say that I want to write a term that looks like this:
>
>                foo('The King Of France').
>
> with the string quotes showing so that it can be compiled and read by a
> different Prolog program.
>
> However, I don't know how to to force SWI Prolog to write string quotes,
> although t is possible to do this in LPA MacProlog using the  ~ symbol.
>
> The MacProlog code looks like this:
>
>
> d_write(foo(Name, FF, Rating, Symbol)):-
>                write(foo) ~> data,
>                 write('(') ~> data,
>                write('~'') ~> data,            % Write opening string quote
>                write(Name) ~> data,    % Write string to which Name is
> instantiated
>                write('~'') ~> data,            % Write closing string quote
>                write(',') ~> data,
>                write(FF) ~> data.....etc
>
> It's clunky, but it works,
>
> How can I implement this or something like it in SWI Prolog?
>
> Any help you can give would be much appreciated.
>
> Best wishes,
>
> Tony Drapkin
>
> _______________________________________________
> SWI-Prolog mailing list
> SWI-Prolog@...
> https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>