Ahmed Khalil Hafsi | 1 Feb 17:10
Picon

yap profiler

Hey guys,

I am using the latest version of YAP under windows and I need a way to profile my prolog programs. I tried what is in the documentation namely the count / tick profiler, but It doesn't show anything, it just says no.

Please help,

Thanks
Ahmed
------------------------------------------------------------------------------
Keep Your Developer Skills Current with LearnDevNow!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-d2d
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users
Angelika Kimmig | 13 Feb 14:27
Picon

CFP: Probability, Logic and Learning - special issue of TPLP

Call for Papers

Theory and Practice of Logic Programming

Special Issue on Probability, Logic and Learning

There has recently been considerable attention concerning the 
combination of probability, logic and learning in the artificial 
intelligence and machine learning communities. Computational logic often 
plays a major role in these developments since it forms the theoretical 
backbone for much of the work in probabilistic programming, and logical 
and relational learning. On the other hand, much of the contemporary 
work in this area is very much application and experiment driven, and 
often devotes less attention to the general culture of logic programming 
which is concerned with the theoretical foundations of the underlying 
formalisms and inference procedures and with advanced implementation 
technology that scales well.

For this special issue we invite high-quality papers on all aspects of 
probability, logic and learning. Of particular interest are papers that 
contribute theoretical insights, discuss advanced implementation 
techniques, or propose probabilistic programming pearls. Probabilistic 
programming pearls are examples of elegant and effective probabilistic 
logic programs. High quality review papers are also welcome.

Specific topics of interest include:

* Lifted inference techniques for probabilistic logic programming
* Studies of probabilistic and logical inference methods
* Deciding and acting using probabilistic logics
* Dynamic probabilistic logics
* Learning in probabilistic logics
* Inductive logic programming
* Relationships of probabilistic logic programming to other areas
* Probabilistic databases

Papers can be submitted by email to angelika.kimmig@...
Submission deadline: April 2, 2012
Notification of authors: July 15, 2012

Guest Editors

James Cussens (University of York)
Luc De Raedt (Katholieke Universiteit Leuven)
Angelika Kimmig (Katholieke Universiteit Leuven)
Taisuke Sato (Tokyo Institute of Technology)

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

------------------------------------------------------------------------------
Try before you buy = See our experts in action!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-dev2
Picon

Doubt about operator exp/2

There are some strange (at least for me) differences between the implementation of exp/2 and ^/2 that affect to compatibility with other implementations of Prolog:

  X is 5 ** 2

 

Or also:

  X is exp(5,2)

 

It will unify with the float number 25.0, instead of returning the integer value 25, that is the thing we obtain in other implementations.

 

But oddly if we try:

  X is 5 ^ 2 (from C-Prolog syntax)

 

Then the result is the integer 25… Maybe is a mistake? Is there any reason?

 

 

 

 

Hector Castillo

Email: hcastillo-PCMn7kpG17LA/jP0kzA/YA@public.gmane.org

 

------------------------------------------------------------------------------
Virtualization & Cloud Management Using Capacity Planning
Cloud computing makes use of virtualization - but cloud computing 
also focuses on allowing computing to be delivered as a service.
http://www.accelacomm.com/jaw/sfnl/114/51521223/
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users
Vitor Santos Costa | 27 Feb 19:05
Picon

Re: Doubt about operator exp/2

Hi Hector

On Fri, Feb 24, 2012 at 3:19 PM, Hector Castillo Andreu
<hcastillo@...> wrote:
> There are some strange (at least for me) differences between the
> implementation of exp/2 and ^/2 that affect to compatibility with other
> implementations of Prolog:

Yes, that is controversial.

>
>   X is 5 ** 2
>
>
>
> Or also:
>
>   X is exp(5,2)
>
>
>
> It will unify with the float number 25.0, instead of returning the integer
> value 25, that is the thing we obtain in other implementations.
>
>
>
> But oddly if we try:
>
>   X is 5 ^ 2 (from C-Prolog syntax)
>
>
>
> Then the result is the integer 25… Maybe is a mistake? Is there any reason?
>
>

X is A^B is defined in the ISO standard, and I try to follow that.
I'll look into the other cases, and see what is the current status.

Thanks!

Vitor

>
>
>
>
>
>
>
> Hector Castillo
>
> Email: hcastillo@...
>
>
>
>
> ------------------------------------------------------------------------------
> Virtualization & Cloud Management Using Capacity Planning
> Cloud computing makes use of virtualization - but cloud computing
> also focuses on allowing computing to be delivered as a service.
> http://www.accelacomm.com/jaw/sfnl/114/51521223/
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>

------------------------------------------------------------------------------
Try before you buy = See our experts in action!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-dev2

Gmane