From luca.cia@tiscalinet.it Sun Sep 16 18:26:40 2001 Received: from mailrelay3.inwind.it (mailrelay3.inwind.it [212.141.54.103]) by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f8GGQdv02568 for ; Sun, 16 Sep 2001 18:26:39 +0200 (MET DST) Received: from locale (62.98.212.154) by mailrelay3.inwind.it (5.5.029) id 3B9FC7CE00134051 for prolog@swi.psy.uva.nl; Sun, 16 Sep 2001 18:26:23 +0200 Message-ID: <001601c13ecd$65e1d000$9ad4623e@locale> From: "luca" To: Date: Sun, 16 Sep 2001 18:34:02 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0013_01C13EDE.28B1FE60" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2314.1300 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 Subject: [SWIPL] Questions about SWI-Prolog/C++ This is a multi-part message in MIME format. ------=_NextPart_000_0013_01C13EDE.28B1FE60 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hello, I write you because I'm finding some difficulties to understand=20 how I can use SWI-Prolog with C++.=20 =20 I describe you what I'd like to do, so if you have some examples or = documentation about this matter, it would be very nice if you, please, send me. I have to write a C++ program that use SWI-Prolog like a Logic Engine, what I'd like to do is to use a prolog algorithm, which use a set of = rules, to answer a query.... I try to be clearer: from c++ program: 1- load prolog algorithm (it's a .pl-file already written) 2- load the set of rules, or generating them form C++ to Prolog = rules 3- making query on it 4- using the answer in the C++ program I'm working with Microsoft VC++ 6.0. I read the "pl2cpp.pdf" documentation, I tried to use the examples I = found=20 (also on SWI-Prolog website) but they didn't work properly on my = computer. If it's possible I'd like to have something more about SWI-C++=20 and some good examples. Thank you very much. Regards Luca Cianfarani ------=_NextPart_000_0013_01C13EDE.28B1FE60 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Hello,
 
I write you because I'm finding some = difficulties=20 to understand
how I can use SWI-Prolog with C++. =
 
I describe you what I'd like to do, so = if you have=20 some examples or documentation
about this matter, it would be very = nice if you,=20 please, send me.
 
I have to write a C++ program that use = SWI-Prolog=20 like a Logic Engine,
what I'd like to do is to use a prolog algorithm, which use a set = of rules,=20 to answer a
query....
I try to be clearer:
    from c++ program:
    1- load prolog algorithm (it's a .pl-file = already=20 written)
    2- load the set of rules, or generating them = form C++ to=20 Prolog rules
    3- making query on it
    4- using the answer in the C++ program
 
I'm working with Microsoft VC++ 6.0.
 
I read the "pl2cpp.pdf" documentation, I tried to use the examples = I found=20
(also on SWI-Prolog website) but they didn't work properly on my=20 computer.
If it's possible I'd like to have something more about SWI-C++ =
and some good examples.
Thank you very much.
 
Regards
    Luca=20 Cianfarani
------=_NextPart_000_0013_01C13EDE.28B1FE60--