Re: newbie question about Prolog / FOPC / NLU

"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.
.

Relevant Pages

  • 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: Im giving (NOT?) this up (Re: solving riddle in prolog)
    ... > this translation is part of programming, especially in Prolog. ... My problem with this was that completely missed out on the 'riddle' ... In computing, exactly is determined by the computer's register length or ...
    (comp.lang.prolog)
  • Lost in translation
    ... Obviously the best way to work towards proficience with Prolog is to start with lisp... ... I realize that this is only mostly on topic but I felt obligated to post something lisp after having piled onto the flatulent frog fluster cuck. ... timetable(Place1, Place2, ListOfFlights) ... What I'm wondering is if I've lost anything in the translation. ...
    (comp.lang.lisp)
  • Re: newbie question about Prolog / FOPC / NLU
    ... >> So what I would like to know is, how the fopc formula above could be ... >> represented 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: Subset sum...
    ... The translation of this is not what it should be, ... > since I'm very new to prolog, and I'm still strugllin with the basics) ...
    (comp.lang.prolog)