
>On Mon, 14 Oct 2002 Fergus Henderson wrote :
>>On 14-Oct-2002, Noel  Pinto <cool4life@rediffmail.com> wrote:
>> > Could you tell me what the correct syntax would be?? I am 
>>still
>> > confused about it.
>>
>>I have no idea what you're trying to do, so I can't tell you 
>>what
>>the correct syntax for it would be.
>>
>I just wanted to figure out what the correct syntax for Function 
>Rule and Fact and, Predicate Rule and Fact.
>
>I had written some mails about it. I just wanted to make sure 
>whether I am on the right track. In the last mail you mentioned 
>it to be wrong, and thats why I want to know what would be the 
>exact syntx for them as I am not on the right track.

Fact is of the form 'Head = Result'
Rule is in the form of 'Head = Result :- Body'

This is why I had written the previous examples and I wanted to 
clarify about Predicate Facts & Rule and Function Facts and 
Rules.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users@cs.mu.oz.au
administrative address: owner-mercury-users@cs.mu.oz.au
unsubscribe: Address: mercury-users-request@cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request@cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------

