flora2 typed variables

[Marc Hadfield]

I noticed in the flora2 manual for Typed Variables, the example of:

?X^^foo=?, ?X^^moo=?.

?X = ?_h6272 { \$typed variable : type = (moo ’,’ foo) }

But I see output of just:

?X = ?_h6272

Is there some flag to turn on the display of the:

{ \$typed variable : type = (moo ’,’ foo) }

Thanks!

-- Marc

 

[Michael Kifer]

sorry, it was changed for various reasons:

flora2 ?- setdisplayschema{tmpraw}, ?X^^foo=?, ?X^^moo=?.

?X = _h11852 { \$typed variable : type = (moo,foo) }

The tmpraw display schema is the raw schema (ie, shows terms as in Prolog) for the duration of one command.

--

       --- michael


 

--
You received this message because you are subscribed to the Google Groups "ErgoAI, Flora-2, and XSB Users Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ErgoAI-Flora2-XSB...@coherentknowledge.com.
To view this discussion on the web visit https://groups.google.com/a/coherentknowledge.com/d/msgid/ErgoAI-Flora2-XSB-forum/CABgggucyWwVk6kLyVE3rzw9A7rmEnD0A5kCzbksAqJfwFeOSGQ%40mail.gmail.com.

[Marc Hadfield]

thanks!

To view this discussion on the web visit https://groups.google.com/a/coherentknowledge.com/d/msgid/ErgoAI-Flora2-XSB-forum/92dfe013-34c1-1303-9733-6e8fd27e8d4a%40coherentknowledge.com.