PROLOG Question

[bukbukintegra]

hello, i'm a beginning ICS student currently in the process of doing some homework...

i was wondering if this was a correct prolog statment for this english sentence...

If Fido is yellow Lab, then Fido is a dog.

dog(fido) :- yellow_lab(fido).

[kromagnon]

looks good to me

[bukbukintegra]

thanks alot!!! i wanted to make sure...

[Lop]

Looks good and I'm guessing you are learning about classes?

Parent Class: DOG
Inherit Class (from DOG): Yellow Lab

Looks good.