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 <prolog@swi.psy.uva.nl>; 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" <luca.cia@tiscalinet.it>
To: <prolog@swi.psy.uva.nl>
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

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=3D"text/html; charset=3Diso-8859-1" =
http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.2314.1000" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV>
<DIV>
<DIV><FONT face=3DArial size=3D2>Hello,</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>I write you because I'm finding some =
difficulties=20
to understand </FONT></DIV>
<DIV><FONT face=3DArial size=3D2>how I can use SWI-Prolog with C++. =
</FONT></DIV>
<DIV><FONT face=3DArial size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>I describe you what I'd like to do, so =
if you have=20
some examples or&nbsp;documentation</FONT></DIV>
<DIV><FONT face=3DArial size=3D2>about this matter, it would be very =
nice if you,=20
please, send me.</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>
<DIV><FONT face=3DArial size=3D2>I have to write a C++ program that use =
SWI-Prolog=20
like a Logic Engine,</FONT></DIV>
<DIV>what I'd like to do is to use a prolog algorithm, which use a set =
of rules,=20
to answer a</DIV>
<DIV>query....</DIV>
<DIV>I try to be clearer:</DIV>
<DIV>&nbsp;&nbsp;&nbsp; from c++ program:</DIV>
<DIV>&nbsp;&nbsp;&nbsp; 1- load prolog algorithm (it's a .pl-file =
already=20
written)</DIV>
<DIV>&nbsp;&nbsp;&nbsp; 2- load the set of rules, or generating them =
form C++ to=20
Prolog rules</DIV>
<DIV>&nbsp;&nbsp;&nbsp; 3- making query on it</DIV>
<DIV>&nbsp;&nbsp;&nbsp; 4- using the answer in the C++ program</DIV>
<DIV>&nbsp;</DIV>
<DIV>I'm working with Microsoft VC++ 6.0.</DIV>
<DIV>&nbsp;</DIV>
<DIV>I read the "pl2cpp.pdf" documentation, I tried to use the examples =
I found=20
</DIV>
<DIV>(also on SWI-Prolog website) but they didn't work properly on my=20
computer.</DIV>
<DIV>If it's possible&nbsp;I'd like to have something more about SWI-C++ =
</DIV>
<DIV>and some good examples.</DIV>
<DIV>Thank you very much.</DIV>
<DIV>&nbsp;</DIV>
<DIV>Regards</DIV>
<DIV>&nbsp;&nbsp;&nbsp; Luca=20
Cianfarani</DIV></FONT></DIV></DIV></DIV></BODY></HTML>

------=_NextPart_000_0013_01C13EDE.28B1FE60--

