database - 对象名称作为 Logtalk 中的变量

Question

这是否可以将对象的名称作为变量获取？我正在尝试创建一个数据库，其中每个对象代表每个人。我有 [name/1, surname/1] 的对象，但是当我问例如

X::名字（约翰）。

它给了我一个错误。Ofc 使用这种方法获取原子是没有问题的：

object_id::name(X)。

Answer 1

::/2消息发送控制结构确实需要在调用时绑定第一个参数。current_object/1但是您可以使用内置谓词枚举现有对象：

| ?- current_object(Person), Person::name(john).
...

但是，此解决方案也可能导致错误，因为我们将通过回溯枚举所有对象，并且并非所有对象都能理解name/1消息。因此，更好的解决方案是仅枚举理解name/1消息的对象。假设代表一个人的所有对象都实现（直接或通过继承） a person_protocol，我们可以使用conforms_to_protocol/2内置谓词：

| ?- conforms_to_protocol(Person, person_protocol),
     Person::name(john).
...

有关详细信息，请参阅https://logtalk.org/manuals/refman/predicates/conforms_to_protocol_2_3.html。