[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Re: installing mmlquery locally

Hi Jesse,

Jesse Alama wrote:

Krzysztof Retel <retel@macs.hw.ac.uk> writes:


As far as I know they are not. But hope they will appear at some
point. Or maybe it would be easier to create a bash file which would
allow to install the engine automatically.


It would also be nice to know how to use mmlquery.  For example, I
didn't know how to quit the program.
In fact, at least according to my knowledge, there is a missing keyword e.g. 'bye', which usually close a database, e.g. MySQL. Hope that Grzegorz will add this tiny word to the engine. 


What are some real-world queries
that a user might run?


I would recommend to have a look at:
http://merak.pb.bialystok.pl/mmlquery/description.html#examples
Here are stored few real examples, which might be useful.

I would also advise to read papers like:
Bancerek, G., Rudnicki, P., Information retrieval in MML, in: Asperti, A., Buchberger, B., Davenport, J. H (eds.), Proceedings of MKM-2003, Springer, LNCS 2594, pp. 119-132, 2003. 

Kind regards,
Krzysztof