Isa
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
isa
"isa" signifies "is a". It acts as a relation between an object and a type, and specifies that the object is a member of the type. For example, Fido isa dog signifies that the object Fido is a member of the set of all dogs.
"isa" acts like an operator in the iProlog frame implementation. For example, X isa dog with ... would have the effect of binding X to a new instance frame with all the slots of the dog generic frame, together with whatever extra information (such as slot values) was provided after the with.
"isa" should be contrasted with ako.
Contributeurs: Imane Meziani, wiki, Sihem Kouache
