Re: newbie question about Prolog / FOPC / NLU

On 30 Jun 2005 12:07:38 +0200
Torkel Franzen <torkel@xxxxxxxxxx> wrote:

> "Gary Leighton" <leightongary@xxxxxxxxxxx> writes:
>
> > So what I would like to know is, how the fopc formula above could be
> > represented in Prolog?
>
> There is no "translation" of general predicate logic formulas into
> Prolog clauses.

On a much more mundane topic, I've never observed an 'ifdef' convention
amongst the prologs I've dealt with.. which doesn't mean there isn't one...
How do you deal with different Prologs you want to use the same code without
having to resort to commenting things?

Dhu

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

Can't get good help?

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 Ðhu

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


.

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: ! and ->
    ... Mebbe Barts right that there isn't a general translation in prolog ... 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)