Qilang Google Group

Re: How to compile Qi in Qi ?

2008-12-03T19:40:58Z

Well you don't give up. I have to give you marks for persistance! ;)

The reason that Qi II is telling you that 'maxinferences' is not a
permissable functor is that it is stopping you from overwriting a Qi
system function.

Mark

Re: How to compile Qi in Qi ?

2008-12-03T19:31:46Z

clisp --version
GNU CLISP 2.41 (2006-10-13) (built on mayer [127.0.0.1])
Software: GNU C 4.1.2 20061007 (prerelease) (Debian 4.1.1-16)
/usr/bin/gcc-4.1 -g -W -Wswitch -Wcomment -Wpointer-arith -Wimplicit -
Wreturn-type -Wmissing-declarations -Wno-sign-compare -O2 -DUNICODE -
I. -x none libcharset.a /usr/lib/libreadline.so -lncurses -ldl -L/

Re: How to compile Qi in Qi ?

2008-12-03T19:29:12Z

(0-) (dump "t-star.qi")
statictypecheck
[t* base fundeclare tfun t*-rule t*-integrity by_hypothesis split_cons
split_@p
datatypes_driver checkrule checksequent checkassumptions checksides
checkpremisses]
assemblenewhyps
free-sequent-vars
error-mess
arbterm
sigdef
rule+rules
elim-backtrack

Re: How to compile Qi in Qi ?

2008-12-03T19:26:32Z

I I I I I I I 8 8 8 8 8 o 8 8
I \ `+' / I 8 8 8 8 8 8
\ `-+-' / 8 8 8 ooooo 8oooo
`-__|__-' 8 8 8 8 8
| 8 o 8 8 o 8 8

How to compile Qi in Qi ?

2008-12-03T19:18:08Z

Hello Folks !

How can i compile qi in qi ?
Where is source of "dump" function ?

typos in online "Qi for the ML Programmer" tutorial

2008-12-03T12:42:05Z

In carrying out the examples in your online "Qi for the ML Programmer"
tutorial (see [link]), I have
discovered the following typos:
In the following paragraph, about two-thirds the way down on the page:
the definition for mymap is incorrect. It should be as follows:

a personal apology and message from PrintOnDemand

2008-12-03T12:42:28Z

PrintOnDemand apologise for the confusion that existed with respect to
ordering 'Functional Programming in Qi'. We recently upgraded our IT
system, and our IT person had omitted to parameterise his code for
different postal zones. This problem was rectified for orders for
'Functional Programming in Qi', early Friday evening.

Re: Qilang - 9 new messages in 2 topics - digest

2008-12-03T12:39:23Z

Hi Jon,
In response to your request: I ordered a copy of FPQI 2nd edition about
two days ago.
Best Regards,
Clifford Thompson
CTO & Semantic Web Evangelist
OntoSolutions LLC
704.257.4422
312.233.2667
[link]

your order of FPQi

2008-12-03T08:42:24Z

It looks to me that they do not send confirmation of orders. They
need to put more work into their IT, although they are very good on
the print quality.

The FPQi ordering site was seemingly fixed on 5.00 PM Friday. So the
out period was about 24 hours.

*I'll absolutely chase up an order you feel is taking too long* or if

Re: Announce: Functional Programming in Qi (second edition) is published

2008-12-03T03:38:06Z

On Tue, 2 Dec 2008 19:33:06 -0800 (PST)
Is the publisher sending email confirmation of orders? I'm wondering
how long I should wait before it's obvious something is wrong.
Matt

Re: Announce: Functional Programming in Qi (second edition) is published

2008-12-03T03:33:06Z

The publishing company you chose is very efficient - I ordered the
book the night of the day you announced it (Friday?), and it arrived
at my door in *Canada* (gasp) today. I'm very pleased to having been
able to start reading it this evening.

Re: important request

2008-12-03T02:55:54Z

I did and I'm still waiting for the air mail ...

Re: important request

2008-12-02T17:06:27Z

Thnaks for your reply.

Mark

----- Original Message -----
To: "Qilang" <Qilang@googlegroups.com>
Sent: Tuesday, December 02, 2008 12:28 PM

Re: important request

2008-12-02T17:05:26Z

thanks.

----- Original Message -----
To: <Qilang@googlegroups.com>
Sent: Monday, December 01, 2008 3:20 PM

Re: important request

2008-12-02T16:28:07Z

Me too

--
"No, no, you're not thinking; you're just being logical." — Niels Bohr

"There are two kinds of people, those who finish what they start and so on."
— Robert Byrne