Menu
▾
▴
Re: [Yap-users] BUGLISTS
|
From: Jacques G. <gre...@gm...> - 2016-02-13 09:38:01
|
<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Le 13/02/2016 06:47, Douglas Miles a
écrit :<br>
</div>
<blockquote
cite="mid:CAE...@ma..."
type="cite">
<div dir="ltr"><br>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Thu, Feb 11, 2016 at 3:38 PM,
Nicos Angelopoulos <span dir="ltr"><<a
moz-do-not-send="true"
href="mailto:nic...@ya..."
target="_blank"><a class="moz-txt-link-abbreviated" href="mailto:nic...@ya...">nic...@ya...</a></a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><br>
<br>
In my opinion I think the community is a little too
obsessed with performance. Which of course is welcome,<br>
but on the whole, Prolog is much more than an efficient
tool</blockquote>
<div><br>
</div>
<div>I am obsessed with performance, which is why the SWI
as an outer skin and with YAP being the heart of the
kernel is the best setup for my use cases. Though I
suppose this software would be called YAP and not SWI.
This would be a YAP that runs SWISH/Cliopatria uses pack
installation and has a much faster kernel under the hood
since I need raw speed for the software I write.</div>
</div>
</div>
</div>
</blockquote>
<br>
So am I. In my case, an inference engine dealing with proofs in
Euclidian Geometry, Yap has proved to be so much faster. <br>
<br>
Same code in both versions (Yap / Swi), the average overspeed in
favour of Yap is 300% or 400%, and when dealing with constructions
with more than 12 points it is around 10000% !<br>
<br>
I have kept both versions of Prolog. Swi remains the main language.
I use the C interface, sockets and threads to integrate Swi into
Freepascal/Lazarus. But now the main inference engine is launched by
Swi calling Yap.exe loading a Yap state and the database that
describes the geometric figure in a fraction of a second. Then this
Yap process makes all the necessary inferences to prove a maximum of
geometric propositions before sending back a stream through sockets
to Swi. As far as this program is concerned, speed is absolutely
essential.<br>
<br>
These news about Yap are indeed very very good news.<br>
<br>
Best regards<br>
<br>
Jacques Gressier<br>
<a class="moz-txt-link-freetext" href="http://geometrix.free.fr/site/logiciels.php">http://geometrix.free.fr/site/logiciels.php</a><br>
<br>
<blockquote
cite="mid:CAE...@ma..."
type="cite">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">
<div><br>
</div>
<div> </div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><br>
In any case, I hope the two systems will coordinate
because Prolog will be all the better for it,<br>
</blockquote>
<div><br>
</div>
<div><br>
</div>
<div>I am excited to see YAP get caught back up to SWI and
leave out the regressions that came with SWI 7. </div>
<div><br>
</div>
<div> </div>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
<a class="moz-txt-link-freetext" href="http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140">http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140</a></pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Yap-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Yap...@li...">Yap...@li...</a>
<a class="moz-txt-link-freetext" href="https://lists.sourceforge.net/lists/listinfo/yap-users">https://lists.sourceforge.net/lists/listinfo/yap-users</a>
</pre>
</blockquote>
<br>
<br />
<table style="border-top: 1px solid #aaabb6;">
<tr>
<td style="width: 470px; padding-top: 20px; color: #41424e; font-size: 13px; font-family: Arial, Helvetica, sans-serif; line-height: 18px;">Cet e-mail a été envoyé depuis un ordinateur protégé par Avast. <br /><a href="https://www.avast.com/sig-email" target="_blank" style="color: #4453ea;">www.avast.com</a> </td>
</tr>
</table>
</body>
</html>
|
