Re: predicate in a predicate

On Dec 8, 6:54 pm, Jan Burse <janbu...@xxxxxxxxxxx> wrote:
Jan Burse schrieb:

Yeah, I feel so lucky too to get so many nice replies. Thanks.
I have few things that I am still doubt.

I don't get this from Hezbert.
A predicate takes terms as arguments and returns a sentence.
A function takes terms as arguments and returns a term.

See chapter 2 ofhttp://www.mathsci.appstate.edu/~jlh/primer/hirst.pdf

Thank you Herbzet,
Now I know how to differentiate function and predicate.

Thanks to Jan Burse, that is a nice resource. I will allow time to
read at it.

I found a Prolog natural language program from
www.mtome.com/Publications/PNLA/prolog-digital.pdf
I have extend a little bit on it, for sentence input of "Every
student is on a table" it will generate the FOL

Let's say
A "Universal quantifier"
E "Existential quantifier"
and "conjunction"
or "disjunction"
=> "implication"

A x (student(x) => E y ( table(y) and on( x, y)))

is this correct ?


Whether it's correct or not, as you can see there is two conclusions
or literals.
Prolog is somehow from Horn Clauses, they can have at most one
positive literals.
In this case, how can I convert the FOL that have two positive
literals into Prolog ? Thank you.
.

Relevant Pages

  • Re: Sublists question
    ... I do not really get what the predicate means or does. ... >>helps just to write the predicate out clearly in natural language, ... >>then translate into Prolog. ... more as a functional programming language than as a logic ...
    (comp.lang.prolog)
  • Re: Prolog module system
    ... I think prolog offers so much freedom that one can build its own ... Both modules define a member/2 predicate, ... this leads to a name conflict. ... shaky ground as current module systems (look at the issues with e.g. ...
    (comp.lang.prolog)
  • Re: Prolog, memory management and memory leaks
    ... predicate is executed that solves constraint problem. ... In some circumstances, this server leaks memory. ... "Understanding Memory Management in Prolog ... There is not just one garbage collector in Prolog. ...
    (comp.lang.prolog)
  • Re: Prolog module system
    ... my experiment with oop and modules has almost reach a point ... On the other hand, when I came to Prolog as a logic programming language, I ... Consider the length/2 predicate. ... OO systems have much more complex built-in lookup rules. ...
    (comp.lang.prolog)
  • Re: Prolog module system
    ... We talked a bit about this on the Prolog standardization forums but is ... Both modules define a member/2 predicate, ... this leads to a name conflict. ... shaky ground as current module systems (look at the issues with e.g. ...
    (comp.lang.prolog)