Re: ! and ->



On Tue, 13 Jun 2006 19:42:19 +0200
Yan Georget <yan.georget@xxxxxxxxxx> wrote:

What if then() (or else()) contains a cut ? Does it affect a() in your
translation ? It did in the original program !

Of course ... I realize that I have not used Prolog for years and I forgot
how tricky it was to mix -> and !.

Yan

I try to avoid this as well. Even nested ";" I don't like to use.

Mebbe Barts right that there isn't a general translation in prolog
for ->, but I don't usually deal with the general case, and when
I do I often circumvent crummy semantics by moving to a different
language (e.g. C).

Dhu

--
???????????????????????????????????????

Open Systems Integration

Contact Fubar the Hack: fubar AT neotext.ca

Area code seven eight zero, Exchange four six six, Local zero one zero nine

Highland terms, Canadian workmanship.

All persons named herein are purely fictional victims
of the Canidian Bagle Breeder's Association.

Save the Bagle!

Sun Dhu


???????????????????????????????????????

.



Relevant Pages

  • Re: Newbie question: what is the most used implementation?
    ... >> SWI Prolog. ... > Contact Fubar the Hack: ... > Area code seven eight zero, Exchange four six six, Local zero one zero nine ... > of the Canidian Bagle Breeder's Association. ...
    (comp.lang.prolog)
  • Re: After Clocksin & Mellish?
    ... > When we are talking about programming in Prolog, ... > "an insistance upon linguistic purity which is of no value". ... Area code seven eight zero, Exchange four six six, Local zero one zero nine ... of the Canidian Bagle Breeder's Association. ...
    (comp.lang.prolog)
  • Re: Assembler in Prolog?
    ... I recall something like this in Turbo/PDC prolog, ... Contact Fubar the Hack: fubar AT neotext.ca ... Area code seven eight zero, Exchange four six six, Local zero one zero nine ... of the Canidian Bagle Breeder's Association. ...
    (comp.lang.prolog)
  • Re: prolog to solve mathematic issuse with example code.
    ... > mathematic issuses. ... > can you post me links where prolog is used to solve mathematic ... Area code seven eight zero, Exchange four six six, Local zero one zero nine ... of the Canidian Bagle Breeder's Association. ...
    (comp.lang.prolog)
  • Re: After Clocksin & Mellish?
    ... > saying that Turbo-Prolog is a different language than Prolog is not ... Area code seven eight zero, Exchange four six six, Local zero one zero nine ...
    (comp.lang.prolog)