arithmetic predicate does not always compute unbound arguments
The group you are posting to is a
Usenet group . Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
Newsgroups: comp.lang.prolog
From:
metaperl <scheme... @gmail.com> Date: Mon, 2 Nov 2009 12:40:03 -0800 (PST)
Local: Mon, Nov 2 2009 3:40 pm
Subject: arithmetic predicate does not always compute unbound arguments
The wonderful ability of Prolog to flexibly compute A given B or vice c_to_f(C,F) :-
It would be nice if there were some way to get C given F and vice
You must
Sign in before you can post messages.
You do not have the permission required to post.
Newsgroups: comp.lang.prolog
From:
Markus Triska <tri... @logic.at> Date: Mon, 02 Nov 2009 21:59:25 +0100
Local: Mon, Nov 2 2009 3:59 pm
Subject: Re: arithmetic predicate does not always compute unbound arguments
metaperl <scheme
... @gmail.com> writes:
> c_to_f(C,F) :-
> F is C * 9 / 5 + 32.
> It would be nice if there were some way to get C given F and vice
:- use_module(library(clpq)).
c_f(C, F) :- { F = C * 9 / 5 + 32 }.
Examples:
?- c_f(C, F).
?- c_f(23, F).
?- c_f(C, 23).
-- http://www.logic.at/prolog/faq/
You must
Sign in before you can post messages.
You do not have the permission required to post.
Newsgroups: comp.lang.prolog
From:
Chip Eastham <hardm... @gmail.com> Date: Thu, 5 Nov 2009 08:55:36 -0800 (PST)
Local: Thurs, Nov 5 2009 11:55 am
Subject: Re: arithmetic predicate does not always compute unbound arguments
On Nov 2, 3:59 pm, Markus Triska <tri... @logic.at> wrote:
> metaperl <scheme
... @gmail.com> writes:
> > c_to_f(C,F) :-
> > F is C * 9 / 5 + 32.
> > It would be nice if there were some way to get C given F and vice
> Indeed, therefore we have the CLP(Q/R/FD) constraint libraries:
> :- use_module(library(clpq)).
> c_f(C, F) :- { F = C * 9 / 5 + 32 }.
c_f(C,F) :-
regards, chip
You must
Sign in before you can post messages.
You do not have the permission required to post.
Newsgroups: comp.lang.prolog
From:
Cesar Rabak <csra... @yahoo.com.br> Date: Fri, 06 Nov 2009 12:32:50 -0200
Local: Fri, Nov 6 2009 9:32 am
Subject: Re: arithmetic predicate does not always compute unbound arguments
Chip Eastham escreveu:
> On Nov 2, 3:59 pm, Markus Triska <tri
... @logic.at> wrote:
>> metaperl <scheme
... @gmail.com> writes:
>>> c_to_f(C,F) :-
>>> F is C * 9 / 5 + 32.
>>> It would be nice if there were some way to get C given F and vice
>>> versa.
>> Indeed, therefore we have the CLP(Q/R/FD) constraint libraries:
>> :- use_module(library(clpq)).
>> c_f(C, F) :- { F = C * 9 / 5 + 32 }.
> At a more elementary level you might have rules
> c_f(C,F) :-
Although this is syntactical correct Prolog, IMNHO this is no longer
You must
Sign in before you can post messages.
You do not have the permission required to post.
|
