Custom-Mp3usb 1-1.1: USB disconnect, device number 4usb 3-3: New USB device found, idVendor=a011, idProduct=a011
usb 3-3: New USB device strings: Mfr=1, Product=2, SerialN
让我们假设它们一起是一些模型,让我们这样称呼它。forall child in parent.children可以有许多这样的条件,必须满足所有这些条件,这样才能说模型符合规范我不关心该解决方案的复杂性,我只想使用Prolog来执行寻找变量的适当替换(如果存在的话,这意味着模型符合规范)。我正在寻找一种方法,如何轻松地创建Prolog知识库,该知识库