1

大家好，这是我第一次来这里:)！

我有以下 Prolog 定义集，唯一不起作用的是子类。谁能帮我弄清楚为什么这不是:(

    % definitions of classes in our system 
    class(object). 
    class(animal). 
    class(cat). 
    class(dog). 
    class(dachshund). 
    class(toy). 
class(ball). 
class(post). 

% definitions of interfaces 
interface(iwoof). 
interface(imeow). 

% definitions of class inheritance 
inherits(animal,object). 
inherits(cat,animal). 
inherits(dog,animal). 
inherits(dachshund, dog). 
inherits(toy,object). 
inherits(ball,object). 
inherits(post,object). 
inherits(ball,toy).
inherits(post,toy).

% definitions of interface implementation 
implements(cat,imeow). 
implements(dog,iwoof). 

% definitions of objects (instances of classes) 
instance(fluffy,cat). 
instance(fido,dog). 
instance(rex,dog). 
instance(schnitzel,dachshund). 
instance(superscratch,post). 
instance(bouncyball,ball). 
instance(tennisball,ball). 

% definitions of behavior 
playswith(cat,post). 
playswith(dog,ball). 

% definitions of superclasses 
superclass(C,D) :- inherits(C,D). 
superclass(D,C) :- inherits(D,X), superclass(X,C). 

% definitions of subclasses 
subclass(C,D) :- superclass(X,D), inherits(C,X).

我需要的输出是

?- subclass(toy,X).
X = ball ;
X = post ;
false.

但我明白了

错误的。

这是痕迹。

?- trace, subclass(toy,X).
   Call: (7) subclass(toy, _G246) ? creep
   Call: (8) inherits(toy, _G366) ? creep
   Exit: (8) inherits(toy, object) ? creep
   Call: (8) superclass(object, _G246) ? creep
   Call: (9) inherits(object, _G246) ? creep
   Fail: (9) inherits(object, _G246) ? creep
   Redo: (8) superclass(object, _G246) ? creep
   Call: (9) inherits(object, _G366) ? creep
   Fail: (9) inherits(object, _G366) ? creep
   Fail: (8) superclass(object, _G246) ? creep
   Fail: (7) subclass(toy, _G246) ? creep
false.
4

2 回答 2

0

如果您阅读您的跟踪，您将看到您的最终问题：没有任何东西可以object继承，或者没有形式的事实inherits(object, Anything).。但这可能不是你的意思！

在我看来，这似乎只是说：

subclass(A, B) :-
    superclass(B, A).

在你的情况下应该足够了。

于 2013-11-13T13:29:26.850 回答
0

Logtalk 中的另一种实现（您可以使用大多数 Prolog 系统作为后端编译器运行）将是：

:- object(metaclass,
    imports(class_hierarchy),   % from the standard library
    instantiates(metaclass)).   % make metaclass its own metaclass

:- end_object.


:- object(object,
    instantiates(metaclass)).

:- end_object.


:- object(animal,
    instantiates(metaclass),
    specializes(object)).

    :- public(playswith/1).

:- end_object.


:- protocol(imeow).

    :- public(imeow/0).

:- end_protocol.


:- protocol(iwoof).

    :- public(iwoof/0).

:- end_protocol.


:- object(cat,
    implements(imeow),
    instantiates(metaclass),
    specializes(animal)).

    imeow.
    playswith(post). 

:- end_object.


:- object(dog,
    implements(iwoof),
    instantiates(metaclass),
    specializes(animal)).

    iwoof.
    playswith(ball).

:- end_object.


:- object(dachshund,
    instantiates(metaclass),
    specializes(dog)).

:- end_object.


:- object(toy,
    instantiates(metaclass),
    specializes(object)).

:- end_object.


:- object(ball,
    instantiates(metaclass),
    specializes(toy)).

:- end_object.


:- object(post,
    instantiates(metaclass),
    specializes(toy)).

:- end_object.


:- object(fluffy,
    instantiates(cat)).

:- end_object.


:- object(fido,
    instantiates(dog)).

:- end_object.


:- object(rex,
    instantiates(dog)).

:- end_object.


:- object(schnitzel,
    instantiates(dachshund)).

:- end_object.


:- object(superscratch,
    instantiates(post)).

:- end_object.


:- object(bouncyball,
    instantiates(ball)).

:- end_object.


:- object(tennisball,
    instantiates(ball)).

:- end_object.

您帖子中的示例查询：

?- toy::subclass(Subclass).
Subclass = ball ;
Subclass = post.

当然，在这个解决方案中，您的任务主要简化为指定层次结构和接口。通过自己实现继承来做这件事有学习的回报。

于 2013-11-13T15:08:09.400 回答