Understanding the Insertion of Instances into Environment about clipspy HOT 4 CLOSED

Apologies for the late reply.

This is the intended usage, if you want to pass an instance name, you need to cast it as such with the InstanceName class.

All CLIPSPy objects return strings in place of names and such. There is ambiguity between a CLIPS symbol and a CLIPS string which is very similar as for Lisp languages (usually solved using quoting '). Unfortunately, there is little we can do with that.

Adding convenience methods all around would complicate the API (lots more code, documentation and tests) with little added value.

After all:

instance = defclass.make_instance(
    "second_name", firstCl=first_instance.instance_name
)  

Is not much shorter than:

instance = defclass.make_instance(
    "second_name", firstCl=InstanceName(first_instance.name)
) 

With the difference that the former, requires the developer to know that instance_name returns a specific type, the latter makes it clear there is a type casting in place.

In my opinion, the latter form is preferable as more Pythonic: simple and clear.

from clipspy.

Hello,

I'm not quite sure I understand the question. Instances are not created from the Python object but through the related class make_instance as per the example in the documentation.

Python objects such as Class Instance or Fact are not meant to be used directly within the code base.

from clipspy.

Hi there,

I wrote an example (which ended up a bit lengthy) to demonstrate what I mean:

import clips

env = clips.Environment()

first_class = """
(defclass FirstClass 
  (is-a USER)
  (role concrete)
  (pattern-match reactive)
  (slot One)
  (slot Two))
"""

second_class = """
(defclass SecondClass 
  (is-a USER)
  (role concrete)
  (pattern-match reactive)
  (slot firstCl)
"""

rule = """
(defrule my-rule
  (object (is-a FirstClass)
    (name ?first_class_name)
  (object (is-a SecondClass)
    (firstCl ?first_instance)
  (test (eq ?first_class_name ?first_instance))

  =>
  (printout t "My Rule fired!" crlf))
"""

env.build(first_class)
env.build(second_class)
env.build(rule)

defclass = env.find_class("FirstClass")
first_instance = defclass.make_instance("first_name", One=1, Two=2)

defclass = env.find_class("SecondClass")
instance = defclass.make_instance(
    "second_name", firstCl=first_instance
)  # This way the rule will not get activated

If I change the last lines of the code to

from clips import InstanceName

instance = defclass.make_instance(
    "second_name", firstCl=InstanceName(first_instance.name)
)  # This way the rule will activate

the rule will fire. Hence why I proposed a convenience property like instance_name in my first comment, that way it is clearer for the user when the instance data is used and how to use the instance symbol, which is often needed in rules. I hope that can clear the intention described in the first comment.

Kind regards

from clipspy.

Thank you for the reply. I think that then clears my question/proposal.

from clipspy.