{"timestamp": 1679306782, "height": 16, "width": 148, "version": 2, "env": {"TERM": "xterm-color", "SHELL": "/bin/bash"}, "idle_time_limit": 1.0} [0.076593, "o", "\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2.726256, "o", "\r\n\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2.895805, "o", "\r\n"] [2.8962, "o", "\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [3.061522, "o", "\r\n"] [3.061944, "o", "\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [3.21202, "o", "\r\n\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [3.373269, "o", "\r\n\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [3.526185, "o", "\r\n\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [45.652815, "o", "c"] [46.048697, "o", "l"] [46.271076, "o", "i"] [46.51647, "o", "p"] [46.656445, "o", "s"] [47.28799, "o", "\r\n"] [47.382516, "o", " CLIPS (V6.24 06/15/06)\r\nCLIPS> "] [48.643866, "o", "\r\n"] [48.780465, "o", "\r\n"] [48.957204, "o", "\r\n"] [49.115741, "o", "\r\n"] [49.275344, "o", "\r\n"] [67.238631, "o", "\r\n"] [67.397593, "o", "\r\n"] [67.567896, "o", "\r\n"] [67.706734, "o", "\r\n"] [67.874538, "o", "\r\n"] [68.055703, "o", "\r\n"] [69.883471, "o", "("] [74.242493, "o", "f"] [74.365567, "o", "a"] [74.612971, "o", "c"] [74.788699, "o", "t"] [74.9905, "o", " "] [76.204361, "o", "\b \b"] [76.410108, "o", "\b \b"] [76.532667, "o", "\b \b"] [76.668438, "o", "\b \b"] [76.819766, "o", "\b \b"] [77.921055, "o", "a"] [78.11153, "o", "s"] [78.262348, "o", "s"] [78.466162, "o", "e"] [78.605585, "o", "r"] [78.768038, "o", "t"] [79.182765, "o", " "] [79.815869, "o", "("] [87.988475, "o", "a"] [88.170684, "o", "n"] [88.312153, "o", "i"] [88.49478, "o", "m"] [88.654654, "o", "a"] [88.830659, "o", "l"] [89.535038, "o", " "] [89.870505, "o", "d"] [90.199865, "o", "o"] [90.307654, "o", "f"] [91.33664, "o", "\b \b"] [91.443748, "o", "g"] [92.395266, "o", ")"] [92.939718, "o", ")"] [96.784391, "o", "\r\n\r\nCLIPS> "] [98.687705, "o", "("] [99.337987, "o", "w"] [99.570221, "o", "a"] [99.718378, "o", "t"] [99.860763, "o", "c"] [100.183125, "o", "h"] [100.287776, "o", " "] [101.164813, "o", "f"] [101.42627, "o", "a"] [101.502459, "o", "c"] [101.604723, "o", "t"] [101.711361, "o", "s"] [103.142165, "o", ")"] [104.106397, "o", "\r\n"] [104.106793, "o", "CLIPS> "] [106.301265, "o", "("] [106.559649, "o", "f"] [106.746886, "o", "a"] [106.943287, "o", "c"] [107.022469, "o", "t"] [107.126586, "o", "s"] [107.975517, "o", ")"] [108.436287, "o", "\r\n"] [108.43668, "o", "f-0 (animal dog)\r\nFor a total of 1 fact.\r\nCLIPS> "] [150.439445, "o", "("] [151.897986, "o", "r"] [152.033697, "o", "e"] [152.269311, "o", "s"] [152.45958, "o", "t"] [153.500622, "o", "\b \b"] [153.673819, "o", "e"] [154.344202, "o", "t"] [155.140801, "o", ")"] [155.611271, "o", "\r\n"] [155.611428, "o", "<== f-0 (animal dog)\r\n==> f-0 (initial-fact)\r\nCLIPS> "] [158.149379, "o", "("] [158.460712, "o", "f"] [158.54154, "o", "a"] [158.742473, "o", "c"] [158.87239, "o", "t"] [158.993444, "o", "s"] [159.726811, "o", ")"] [160.135567, "o", "\r\n"] [160.135822, "o", "f-0 (initial-fact)\r\nFor a total of 1 fact.\r\nCLIPS> "] [165.141642, "o", "\r\n"] [165.307121, "o", "\r\n"] [165.467526, "o", "\r\n"] [165.62729, "o", "\r\n"] [165.763811, "o", "\r\n"] [166.822757, "o", "q"] [167.778656, "o", "\b \b"] [168.316644, "o", ";"] [169.321738, "o", " "] [169.917132, "o", "θ"] [170.012701, "o", "α"] [170.132775, "o", " "] [171.467654, "o", "θ"] [172.269631, "o", "έ"] [172.340653, "o", "λ"] [172.363593, "o", "κ"] [172.38582, "o", "α"] [172.434331, "o", "μ"] [172.524367, "o", "ε"] [172.660617, "o", " "] [173.242761, "o", "\b \b"] [173.397577, "o", "\b \b"] [173.563407, "o", "\b \b"] [173.71529, "o", "\b \b"] [173.871844, "o", "\b \b"] [174.574973, "o", "α"] [174.824839, "o", "μ"] [174.883816, "o", "ε"] [175.004604, "o", " "] [175.180572, "o", "κ"] [175.709337, "o", "ά"] [175.975481, "o", "π"] [176.042656, "o", "ο"] [176.233335, "o", "ι"] [176.33183, "o", "α"] [176.428411, "o", " "] [177.160667, "o", "α"] [183.322744, "o", "\b \b"] [183.477142, "o", "\b \b"] [183.63944, "o", "\b \b"] [184.487715, "o", " "] [185.297669, "o", "f"] [185.436548, "o", "a"] [185.719618, "o", "c"] [185.791847, "o", "t"] [186.556594, "o", "s"] [186.685843, "o", " "] [188.344302, "o", "ν"] [188.437899, "o", "α"] [188.558444, "o", " "] [189.437134, "o", "ξ"] [189.531805, "o", "α"] [189.692935, "o", "ν"] [189.803118, "o", "α"] [190.06454, "o", "δ"] [190.222527, "o", "η"] [190.458892, "o", "μ"] [190.613041, "o", "ι"] [190.829726, "o", "ο"] [191.018473, "o", "υ"] [191.240469, "o", "ρ"] [191.420776, "o", "γ"] [191.591286, "o", "ο"] [191.991313, "o", "ύ"] [192.20776, "o", "ν"] [192.392058, "o", "τ"] [192.550659, "o", "α"] [192.614447, "o", "ι"] [192.77243, "o", " "] [192.926114, "o", "α"] [192.999943, "o", "υ"] [193.234701, "o", "τ"] [193.439385, "o", "ό"] [193.589696, "o", "μ"] [193.693099, "o", "α"] [193.853003, "o", "τ"] [193.940148, "o", "α"] [196.074652, "o", "\r\n"] [196.972368, "o", "\r\n"] [197.143924, "o", "\r\n"] [200.53392, "o", "("] [206.456699, "o", "d"] [206.602815, "o", "e"] [206.848598, "o", "f"] [207.055136, "o", "f"] [207.220162, "o", "a"] [207.493165, "o", "c"] [207.502542, "o", "v"] [207.623618, "o", "t"] [207.915652, "o", "s"] [208.701611, "o", "\b \b"] [208.844311, "o", "\b \b"] [208.995152, "o", "\b \b"] [209.142216, "o", "\b \b"] [210.275638, "o", "c"] [210.378249, "o", "t"] [210.551176, "o", "s"] [215.970813, "o", " "] [226.584881, "o", "a"] [226.787706, "o", "n"] [226.879731, "o", "i"] [227.024412, "o", "m"] [227.159071, "o", "a"] [227.493675, "o", "l"] [227.595739, "o", "s"] [227.967608, "o", " "] [231.559066, "o", "("] [231.954491, "o", "a"] [232.167144, "o", "n"] [232.278254, "o", "i"] [232.534903, "o", "m"] [232.685619, "o", "a"] [232.784096, "o", "l"] [233.02415, "o", " "] [233.83873, "o", "d"] [234.061784, "o", "o"] [234.529236, "o", "g"] [235.04748, "o", ")"] [235.507956, "o", " "] [236.322116, "o", "("] [236.625236, "o", "a"] [236.773366, "o", "n"] [236.924714, "o", "i"] [237.10416, "o", "m"] [237.244034, "o", "a"] [237.438776, "o", "l"] [237.70875, "o", " "] [238.419592, "o", "c"] [238.540015, "o", "a"] [238.685332, "o", "t"] [239.443502, "o", ")"] [243.1998, "o", " "] [244.31838, "o", "("] [244.94061, "o", "a"] [245.161026, "o", "n"] [245.31979, "o", "u"] [245.331137, "o", "i"] [245.51081, "o", "m"] [246.279897, "o", "\b \b"] [246.415405, "o", "\b \b"] [246.574864, "o", "\b \b"] [247.345386, "o", "i"] [247.780626, "o", "m"] [247.909281, "o", "a"] [248.106597, "o", "l"] [248.322545, "o", " "] [249.038756, "o", "d"] [249.234992, "o", "u"] [249.621166, "o", "c"] [249.811182, "o", "k"] [250.294343, "o", ")"] [252.432414, "o", " "] [253.866695, "o", "("] [253.952941, "o", "a"] [254.250882, "o", "n"] [254.471533, "o", "i"] [254.678196, "o", "m"] [254.808388, "o", "a"] [254.964595, "o", "l"] [255.077569, "o", " "] [255.414251, "o", "t"] [255.595498, "o", "u"] [255.814455, "o", "r"] [256.276706, "o", "t"] [256.492442, "o", "l"] [256.603199, "o", "e"] [257.519193, "o", ")"] [259.017274, "o", ")"] [259.989579, "o", "\r\nCLIPS> "] [261.247535, "o", "\r\n"] [261.575787, "o", "\r\n"] [261.84379, "o", "\r\n"] [262.053197, "o", "\r\n"] [262.28643, "o", "\r\n"] [262.586842, "o", "\r\n"] [262.857495, "o", "\r\n"] [263.067382, "o", "\r\n"] [268.593099, "o", "("] [268.986363, "o", "f"] [269.082252, "o", "a"] [269.318583, "o", "c"] [269.472678, "o", "t"] [269.843576, "o", "s"] [270.908856, "o", ")"] [271.392727, "o", "\r\n"] [271.392924, "o", "f-0 (initial-fact)\r\nFor a total of 1 fact.\r\nCLIPS> "] [281.90668, "o", ";"] [283.110222, "o", "τ"] [283.255248, "o", "α"] [283.466917, "o", " "] [284.99233, "o", "f"] [285.12043, "o", "a"] [285.222056, "o", "c"] [285.380086, "o", "t"] [285.539182, "o", "s"] [285.654609, "o", " "] [287.342799, "o", "θ"] [287.447676, "o", "α"] [287.516471, "o", " "] [287.830769, "o", "δ"] [287.98085, "o", "η"] [288.22093, "o", "μ"] [288.524373, "o", "ι"] [288.656818, "o", "ο"] [288.859515, "o", "υ"] [289.044933, "o", "ρ"] [289.236542, "o", "γ"] [289.385177, "o", "ο"] [289.639818, "o", "υ"] [289.948405, "o", "ν"] [290.187835, "o", "τ"] [290.284338, "o", "α"] [290.412864, "o", " "] [291.134468, "o", "\b \b"] [291.450143, "o", "ι"] [291.537501, "o", " "] [291.719675, "o", "μ"] [291.856943, "o", "ε"] [291.987763, "o", " "] [292.158624, "o", "τ"] [292.237637, "o", "ο"] [292.423974, "o", " "] [293.194199, "o", "r"] [293.314845, "o", "e"] [293.542865, "o", "s"] [294.124882, "o", "e"] [294.222785, "o", "t"] [295.091645, "o", "\r\n"] [297.595299, "o", "\r\n"] [316.535676, "o", "("] [317.332651, "o", "r"] [317.459763, "o", "e"] [317.687249, "o", "s"] [317.859792, "o", "e"] [317.972589, "o", "t"] [319.043732, "o", ")"] [319.871936, "o", "\r\n"] [319.872115, "o", "<== f-0 (initial-fact)\r\n==> f-0 (initial-fact)\r\n==> f-1 (animal dog)\r\n==> f-2 (animal cat)\r\n==> f-3 (animal duck)\r\n==> f-4 (animal turtle)\r\nCLIPS> "] [430.850252, "o", "("] [432.10708, "o", "\b \b"] [434.268404, "o", ";"] [435.570979, "o", "δ"] [435.702793, "o", "η"] [435.948242, "o", "μ"] [436.143532, "o", "ι"] [436.311263, "o", "ο"] [436.542435, "o", "υ"] [436.674592, "o", "ρ"] [436.855123, "o", "γ"] [436.988766, "o", "ο"] [437.189129, "o", "υ"] [437.523884, "o", "μ"] [437.580817, "o", "ε"] [437.643316, "o", " "] [438.282742, "o", "έ"] [438.366369, "o", "ν"] [438.504832, "o", "α"] [438.636784, "o", " "] [439.240898, "o", "κ"] [439.391797, "o", "α"] [439.519013, "o", "ν"] [439.910478, "o", "ό"] [440.23857, "o", "ν"] [440.426748, "o", "α"] [440.533404, "o", " "] [440.948393, "o", "μ"] [440.996517, "o", "ε"] [441.138858, "o", " "] [443.073506, "o", "μ"] [443.635762, "o", "ι"] [443.805935, "o", "α"] [443.900809, "o", " "] [444.359503, "o", "μ"] [444.486396, "o", "ε"] [444.640685, "o", "τ"] [444.759451, "o", "α"] [445.041054, "o", "β"] [445.208146, "o", "λ"] [445.428411, "o", "η"] [445.681852, "o", "τ"] [446.172379, "o", "ή"] [447.564268, "o", " "] [447.967888, "o", "("] [449.036486, "o", "Θ"] [449.270866, "o", "Ν"] [450.206889, "o", "\b \b"] [450.443815, "o", "\b \b"] [451.948799, "o", "u"] [452.140679, "o", "n"] [452.324398, "o", "n"] [452.566808, "o", "a"] [452.764562, "o", "m"] [452.950756, "o", "e"] [453.142752, "o", "d"] [454.105747, "o", ")"] [455.252743, "o", "\r\n"] [455.894835, "o", "\r\n"] [456.068204, "o", "\r\n"] [456.231901, "o", "\r\n"] [456.402747, "o", "\r\n"] [458.785596, "o", "("] [459.285045, "o", "d"] [459.416992, "o", "e"] [459.511463, "o", "f"] [459.697977, "o", "r"] [459.965711, "o", "u"] [461.60593, "o", "l"] [461.70212, "o", "e"] [462.023885, "o", " "] [464.744365, "o", "f"] [464.965862, "o", "i"] [465.473657, "o", "n"] [465.546048, "o", "d"] [466.348253, "o", "-"] [466.607514, "o", "a"] [466.891317, "o", "n"] [467.000033, "o", "i"] [467.153317, "o", "m"] [467.289631, "o", "a"] [467.594712, "o", "l"] [470.512654, "o", "\r\n"] [476.978598, "o", "("] [478.004474, "o", "a"] [478.238495, "o", "n"] [478.508353, "o", "i"] [478.674362, "o", "m"] [478.836145, "o", "a"] [479.028701, "o", "l"] [479.271874, "o", " "] [480.98807, "o", "?"] [481.959287, "o", ")"] [504.702323, "o", "\r\n"] [521.681644, "o", "="] [522.31496, "o", ">"] [526.085735, "o", "\r\n"] [535.787632, "o", "("] [536.24226, "o", "p"] [536.361378, "o", "r"] [536.508364, "o", "i"] [536.693434, "o", "n"] [536.818823, "o", "t"] [539.262872, "o", "p"] [539.556738, "o", "o"] [539.720413, "o", "t"] [539.818973, "o", " "] [540.421374, "o", "t"] [540.521931, "o", " "] [543.20794, "o", "\b \b"] [543.397605, "o", "\b \b"] [543.530282, "o", "\b \b"] [543.684468, "o", "\b \b"] [544.252683, "o", "\b \b"] [544.424471, "o", "\b \b"] [545.656209, "o", "o"] [545.658242, "o", "u"] [545.679725, "o", "t"] [545.815895, "o", " "] [547.021767, "o", "t"] [547.058363, "o", " "] [550.422515, "o", "\""] [551.302002, "o", "F"] [551.504204, "o", "o"] [552.43052, "o", "u"] [552.961008, "o", "n"] [553.04768, "o", "d"] [553.147388, "o", " "] [553.387341, "o", "a"] [553.838093, "o", "n"] [554.333744, "o", "d"] [555.140726, "o", "\b \b"] [555.397842, "o", " "] [555.608252, "o", "a"] [555.779625, "o", "n"] [557.194801, "o", "i"] [557.383948, "o", "m"] [557.540751, "o", "a"] [557.716376, "o", "l"] [560.781381, "o", ":"] [561.251592, "o", " "] [561.95495, "o", "\b \b"] [562.029244, "o", "\b \b"] [562.319116, "o", "\""] [562.672046, "o", " "] [563.032363, "o", "c"] [563.074309, "o", "r"] [563.890804, "o", "l"] [563.963759, "o", "f"] [564.250383, "o", " "] [565.16808, "o", ")"] [567.125003, "o", "\r\n"] [568.18094, "o", ")"] [570.616981, "o", "\r\n"] [570.617373, "o", "CLIPS> "] [572.11319, "o", "\r\n"] [572.301156, "o", "\r\n"] [572.506566, "o", "\r\n"] [572.634312, "o", "\r\n"] [572.811032, "o", "\r\n"] [573.020778, "o", "\r\n"] [574.262048, "o", "("] [575.550988, "o", "p"] [575.855377, "o", "p"] [576.226566, "o", "r"] [576.556268, "o", "u"] [577.534587, "o", "\b \b"] [577.709429, "o", "\b \b"] [577.870888, "o", "\b \b"] [578.064553, "o", "\b \b"] [578.950911, "o", "r"] [579.29643, "o", "u"] [579.534952, "o", "l"] [579.648378, "o", "e"] [579.835741, "o", "s"] [580.259053, "o", ")"] [580.752881, "o", "\r\n"] [580.753046, "o", "find-animal\r\nFor a total of 1 defrule.\r\nCLIPS> "] [583.551814, "o", "("] [584.091216, "o", "p"] [584.22217, "o", "p"] [588.280623, "o", "d"] [588.476728, "o", "e"] [588.630671, "o", "f"] [588.849428, "o", "r"] [589.116313, "o", "u"] [589.363618, "o", "l"] [604.340719, "o", "e"] [604.47022, "o", " "] [606.132462, "o", "f"] [606.214962, "o", "i"] [606.394667, "o", "n"] [606.792386, "o", "d"] [607.142902, "o", "-"] [607.994451, "o", "a"] [608.238673, "o", "n"] [608.381442, "o", "i"] [608.889272, "o", "m"] [608.987685, "o", "a"] [609.055712, "o", "l"] [609.491716, "o", ")"] [610.107838, "o", "\r\n"] [610.108098, "o", "(defrule MAIN::find-animal\r\n (animal ?)\r\n =>\r\n (printout t \"Found an animal\" crlf))\r\nCLIPS> "] [614.42379, "o", "\r\n"] [614.826308, "o", "\r\n"] [614.861585, "o", "\r\n"] [615.253115, "o", "\r\n"] [625.38266, "o", "("] [625.79869, "o", "a"] [626.357804, "o", "g"] [626.546641, "o", "n"] [628.526386, "o", "\b \b"] [628.66164, "o", "e"] [629.174272, "o", "n"] [629.325565, "o", "d"] [629.567133, "o", "a"] [630.078927, "o", ")"] [633.072529, "o", "\r\n"] [633.072911, "o", "0 find-animal: f-4\r\n0 find-animal: f-3\r\n0 find-animal: f-2\r\n0 find-animal: f-1\r\nFor a total of 4 activations.\r\nCLIPS> "] [654.548652, "o", "("] [655.314306, "o", "r"] [655.500688, "o", "u"] [655.688573, "o", "m"] [656.445853, "o", ")"] [657.330717, "o", "\b \b"] [657.501407, "o", "\b \b"] [658.364789, "o", "n"] [658.759539, "o", ")"] [659.561978, "o", "\r\nFound an animal\r\nFound an animal\r\nFound an animal\r\nFound an animal\r\nCLIPS> "] [674.190952, "o", "("] [674.4587, "o", "r"] [674.668317, "o", "u"] [674.960387, "o", "n"] [675.453944, "o", ")"] [676.461118, "o", "\r\n"] [676.461604, "o", "CLIPS> "] [744.129264, "o", "\r\n"] [744.301743, "o", "\r\n"] [744.460917, "o", "\r\n"] [744.611964, "o", "\r\n"] [744.763461, "o", "\r\n"] [746.49442, "o", "("] [747.012583, "o", "d"] [747.153202, "o", "e"] [747.399744, "o", "f"] [747.521234, "o", "r"] [747.77536, "o", "u"] [748.410955, "o", "l"] [748.528632, "o", "e"] [748.713977, "o", " "] [753.448642, "o", "n"] [753.596355, "o", "a"] [753.806773, "o", "m"] [753.926384, "o", "e"] [754.884315, "o", "-"] [755.150665, "o", "a"] [755.35695, "o", "n"] [755.512765, "o", "i"] [755.716613, "o", "m"] [755.853317, "o", "a"] [755.967196, "o", "l"] [756.07616, "o", "s"] [757.755417, "o", "\r\n"] [758.958271, "o", "("] [760.165183, "o", "a"] [760.551727, "o", "n"] [760.810074, "o", "i"] [761.153555, "o", "m"] [761.33171, "o", "a"] [761.437419, "o", "l"] [761.582447, "o", " "] [763.436568, "o", "?"] [764.408592, "o", "n"] [764.495728, "o", "a"] [764.708427, "o", "m"] [764.809414, "o", "e"] [766.348797, "o", ")"] [770.487316, "o", "\r\n"] [771.469038, "o", "="] [772.471491, "o", ">"] [774.98787, "o", "\r\n"] [776.029341, "o", "("] [778.431665, "o", "p"] [778.570738, "o", "r"] [778.725398, "o", "i"] [778.884457, "o", "n"] [779.014591, "o", "t"] [779.356583, "o", "o"] [779.565702, "o", "u"] [779.722565, "o", "t"] [780.239278, "o", " "] [780.921391, "o", "t"] [781.50029, "o", " "] [782.284236, "o", "\""] [784.377355, "o", "F"] [784.820849, "o", "o"] [785.443781, "o", "u"] [785.916705, "o", "n"] [786.008696, "o", "d"] [786.126045, "o", " "] [786.885117, "o", "a"] [787.043718, "o", "n"] [787.150417, "o", " "] [787.508704, "o", "a"] [787.687835, "o", "n"] [787.84744, "o", "i"] [788.066603, "o", "m"] [788.179138, "o", "a"] [788.37197, "o", "l"] [788.604479, "o", " "] [789.668517, "o", "\""] [791.234071, "o", " "] [792.32443, "o", "?"] [792.928753, "o", "n"] [793.052011, "o", "a"] [793.18156, "o", "m"] [793.372612, "o", "e"] [797.195053, "o", " "] [798.370546, "o", "c"] [798.695096, "o", "r"] [799.346531, "o", "l"] [799.404236, "o", "f"] [800.46155, "o", ")"] [807.852399, "o", "\r\n"] [808.952894, "o", ")"] [810.537166, "o", "\r\n"] [810.537597, "o", "CLIPS> "] [815.943218, "o", "("] [816.284732, "o", "r"] [816.740638, "o", "u"] [816.932831, "o", "l"] [817.027094, "o", "e"] [817.221338, "o", "s"] [817.700898, "o", ")"] [818.100718, "o", "\r\n"] [818.100838, "o", "find-animal\r\nname-animals\r\nFor a total of 2 defrules.\r\nCLIPS> "] [826.91932, "o", "("] [827.108373, "o", "a"] [827.518465, "o", "g"] [827.65433, "o", "e"] [827.723946, "o", "n"] [828.040324, "o", "d"] [828.201591, "o", "a"] [828.614441, "o", ")"] [829.479895, "o", "\r\n0 name-animals: f-4\r\n0 name-animals: f-3\r\n0 name-animals: f-2\r\n0 name-animals: f-1\r\nFor a total of 4 activations.\r\nCLIPS> "] [850.722792, "o", "("] [851.116111, "o", "r"] [851.301863, "o", "u"] [851.552312, "o", "n"] [852.031333, "o", ")"] [852.70889, "o", "\r\n"] [852.70906, "o", "Found an animal turtle\r\nFound an animal duck\r\nFound an animal cat\r\nFound an animal dog\r\nCLIPS> "] [853.621113, "o", "\r\n"] [853.809454, "o", "\r\n"] [853.972866, "o", "\r\n"] [854.132368, "o", "\r\n"] [854.316235, "o", "\r\n"] [922.950624, "o", "\r\n"] [923.099475, "o", "\r\n"] [923.259524, "o", "\r\n"] [923.421895, "o", "\r\n"] [924.432106, "o", "("] [924.687461, "o", "a"] [925.022407, "o", "s"] [925.200815, "o", "s"] [925.534693, "o", "e"] [926.064282, "o", "r"] [926.315157, "o", "t"] [926.787526, "o", " "] [930.408776, "o", "("] [930.548887, "o", "a"] [930.903809, "o", "n"] [930.977273, "o", "u"] [932.380627, "o", "i"] [932.621843, "o", "m"] [932.82393, "o", "a"] [933.083701, "o", "l"] [933.83576, "o", "\b \b"] [933.989914, "o", "\b \b"] [934.128174, "o", "\b \b"] [934.301635, "o", "\b \b"] [934.862171, "o", "\b \b"] [935.325749, "o", "i"] [935.701518, "o", "m"] [935.857121, "o", "a"] [936.058679, "o", "l"] [936.202815, "o", " "] [943.703846, "o", "i"] [943.870772, "o", "n"] [944.239214, "o", "d"] [944.910288, "o", "i"] [945.380127, "o", "a"] [945.501059, "o", "n"] [945.648616, "o", " "] [946.375835, "o", "e"] [946.598449, "o", "l"] [946.710415, "o", "e"] [946.882756, "o", "p"] [947.220487, "o", "h"] [947.498575, "o", "a"] [948.829656, "o", "n"] [948.942383, "o", "t"] [949.991306, "o", ")"] [950.595352, "o", ")"] [951.678488, "o", "\r\n"] [951.678683, "o", "==> f-5 (animal indian elephant)\r\n\r\nCLIPS> "] [959.271518, "o", "("] [959.435404, "o", "a"] [959.795656, "o", "s"] [960.029999, "o", "s"] [960.263273, "o", "e"] [960.397831, "o", "r"] [960.566422, "o", "t"] [960.76732, "o", " "] [961.623447, "o", "("] [961.887719, "o", "a"] [962.189983, "o", "n"] [962.239841, "o", "i"] [962.464715, "o", "m"] [962.556155, "o", "a"] [962.685115, "o", "l"] [962.831742, "o", " "] [964.827438, "o", "a"] [965.065969, "o", "f"] [965.252756, "o", "r"] [965.688206, "o", "i"] [966.000414, "o", "c"] [966.160528, "o", "a"] [966.435597, "o", "n"] [966.494745, "o", " "] [967.37488, "o", "e"] [967.583165, "o", "l"] [967.664504, "o", "e"] [968.42277, "o", "p"] [968.628852, "o", "h"] [968.757568, "o", "a"] [968.90721, "o", "n"] [969.23977, "o", "t"] [969.748865, "o", ")"] [969.885394, "o", ")"] [970.708824, "o", "\r\n"] [970.709069, "o", "==> f-6 (animal african elephant)\r\n\r\nCLIPS> "] [971.637125, "o", "\r\n"] [971.813225, "o", "\r\n"] [971.991212, "o", "\r\n"] [972.877689, "o", "("] [973.124783, "o", "f"] [973.231128, "o", "a"] [973.447534, "o", "c"] [973.612557, "o", "t"] [973.753655, "o", "s"] [974.15658, "o", ")"] [974.640498, "o", "\r\nf-0 (initial-fact)\r\nf-1 (animal dog)\r\nf-2 (animal cat)\r\nf-3 (animal duck)\r\nf-4 (animal turtle)\r\nf-5 (animal indian elephant)\r\nf-6 (animal african elephant)\r\nFor a total of 7 facts.\r\nCLIPS> "] [978.226902, "o", "("] [978.600048, "o", "a"] [978.843465, "o", "g"] [978.953828, "o", "e"] [979.261781, "o", "n"] [979.511433, "o", "d"] [979.637842, "o", "a"] [980.215837, "o", ")"] [992.048401, "o", "\r\n"] [992.048457, "o", "CLIPS> "] [1008.803821, "o", "("] [1008.936512, "o", "a"] [1009.296792, "o", "s"] [1009.420543, "o", "s"] [1009.52423, "o", "e"] [1009.644258, "o", "r"] [1009.799157, "o", "t"] [1010.217343, "o", " "] [1011.111326, "o", "("] [1011.450308, "o", "a"] [1011.742587, "o", "n"] [1012.021328, "o", "i"] [1012.110355, "o", "m"] [1012.1308, "o", "a"] [1012.273801, "o", "l"] [1012.429168, "o", " "] [1013.14219, "o", "t"] [1013.337566, "o", "i"] [1013.753589, "o", "g"] [1013.802795, "o", "e"] [1013.964811, "o", "r"] [1014.468611, "o", ")"] [1014.572941, "o", ")"] [1015.37293, "o", "\r\n"] [1015.373401, "o", "==> f-7 (animal tiger)\r\n\r\nCLIPS> "] [1016.105913, "o", "^[[A"] [1016.18016, "o", "^[[A"] [1017.782573, "o", "\b \b"] [1017.886268, "o", "\b \b"] [1017.975736, "o", "\b \b\b \b"] [1017.976133, "o", "\b \b"] [1018.0298, "o", "\b \b"] [1018.17474, "o", "\b \b\b \b"] [1019.254844, "o", "("] [1019.437178, "o", "a"] [1019.632645, "o", "g"] [1019.712528, "o", "e"] [1019.916447, "o", "n"] [1020.188484, "o", "d"] [1020.331276, "o", "a"] [1020.70925, "o", ")"] [1022.114622, "o", "\r\n"] [1022.114868, "o", "0 find-animal: f-7\r\n0 name-animals: f-7\r\nFor a total of 2 activations.\r\nCLIPS> "] [1054.209633, "o", "("] [1054.492867, "o", "r"] [1054.544593, "o", "u"] [1054.762724, "o", "l"] [1054.843148, "o", "e"] [1055.035684, "o", "s"] [1055.387766, "o", ")"] [1055.792989, "o", "\r\nfind-animal\r\nname-animals\r\nFor a total of 2 defrules.\r\nCLIPS> "] [1058.050351, "o", "("] [1058.497733, "o", "p"] [1058.636707, "o", "p"] [1060.128758, "o", "d"] [1060.296527, "o", "e"] [1060.498352, "o", "f"] [1060.682482, "o", "r"] [1060.92608, "o", "u"] [1061.127462, "o", "l"] [1061.250593, "o", "e"] [1061.405372, "o", " "] [1063.148189, "o", "n"] [1063.214956, "o", "a"] [1063.30951, "o", "m"] [1063.438848, "o", "e"] [1064.772097, "o", "-"] [1064.962367, "o", "a"] [1065.203954, "o", "n"] [1065.366488, "o", "i"] [1065.366722, "o", "u"] [1065.525892, "o", "m"] [1065.630255, "o", "a"] [1065.749668, "o", "l"] [1065.887382, "o", "s"] [1066.744846, "o", "\b \b"] [1067.008846, "o", "\b \b"] [1067.072533, "o", "\b \b"] [1067.168866, "o", "\b \b"] [1067.303264, "o", "\b \b"] [1067.461792, "o", "\b \b"] [1068.247487, "o", "i"] [1068.494509, "o", "m"] [1068.64205, "o", "a"] [1068.724797, "o", "l"] [1068.866241, "o", "s"] [1069.327489, "o", ")"] [1071.040528, "o", "\r\n"] [1071.040953, "o", "(defrule MAIN::name-animals\r\n (animal ?name)\r\n =>\r\n (printout t \"Found an animal \" ?name crlf))\r\nCLIPS> "] [1170.566025, "o", "\r\n"] [1170.7249, "o", "\r\n"] [1170.878542, "o", "\r\n"] [1171.013112, "o", "\r\n"] [1171.580906, "o", "("] [1172.326146, "o", "r"] [1172.391158, "o", "e"] [1172.393659, "o", "s"] [1172.518201, "o", "e"] [1172.732522, "o", "t"] [1173.632313, "o", ")"] [1174.127532, "o", "\r\n<== f-0 (initial-fact)\r\n<== f-1 (animal dog)\r\n<== f-2 (animal cat)\r\n<== f-3 (animal duck)\r\n<== f-4 (animal turtle)\r\n<== f-5 (animal indian elephant)\r\n<== f-6 (animal african elephant)\r\n<== f-7 (animal tiger)\r\n==> f-0 (initial-fact)\r\n==> f-1 (animal dog)\r\n==> f-2 (animal cat)\r\n==> f-3 (animal duck)\r\n==> f-4 (animal turtle)\r\nCLIPS> "] [1175.171596, "o", "\r\n"] [1175.325341, "o", "\r\n"] [1175.509532, "o", "\r\n"] [1175.680477, "o", "\r\n"] [1175.857016, "o", "\r\n"] [1176.829351, "o", "("] [1177.190597, "o", "f"] [1177.302789, "o", "a"] [1177.564835, "o", "c"] [1177.641199, "o", "t"] [1177.749782, "o", "s"] [1178.237703, "o", ")"] [1178.695664, "o", "\r\n"] [1178.69604, "o", "f-0 (initial-fact)\r\nf-1 (animal dog)\r\nf-2 (animal cat)\r\nf-3 (animal duck)\r\nf-4 (animal turtle)\r\nFor a total of 5 facts.\r\nCLIPS> "] [1271.12602, "o", "d"] [1271.312207, "o", "e"] [1272.606688, "o", "\b \b"] [1272.644013, "o", "\b \b"] [1273.223979, "o", "("] [1273.502022, "o", "d"] [1273.637629, "o", "e"] [1273.751623, "o", "f"] [1274.093178, "o", "f"] [1274.269329, "o", "a"] [1274.558693, "o", "c"] [1274.680068, "o", "t"] [1274.804771, "o", "s"] [1275.427198, "o", " "] [1276.163822, "o", "("] [1288.458292, "o", "l"] [1288.575154, "o", "a"] [1288.770226, "o", "y"] [1288.924705, "o", "s"] [1289.549717, "o", "-"] [1290.35587, "o", "e"] [1290.715145, "o", "g"] [1290.849846, "o", "g"] [1290.951863, "o", "s"] [1291.758199, "o", " "] [1292.314494, "o", "d"] [1292.56575, "o", "u"] [1292.833745, "o", "c"] [1293.116285, "o", "k"] [1293.648308, "o", ")"] [1295.318611, "o", " "] [1296.782452, "o", "("] [1297.097403, "o", "l"] [1297.213924, "o", "a"] [1297.415605, "o", "y"] [1297.54144, "o", "s"] [1298.470079, "o", "-"] [1298.755717, "o", "e"] [1299.120721, "o", "g"] [1299.232304, "o", "g"] [1299.290867, "o", "s"] [1299.494026, "o", " "] [1300.736121, "o", "t"] [1300.979665, "o", "u"] [1301.225042, "o", "r"] [1301.799879, "o", "t"] [1302.021953, "o", "l"] [1302.118203, "o", "e"] [1302.848668, "o", ")"] [1303.011907, "o", " "] [1334.411848, "o", "("] [1334.649666, "o", "w"] [1334.985865, "o", "r"] [1335.991601, "o", "\b \b"] [1336.577461, "o", "a"] [1336.848808, "o", "r"] [1337.082772, "o", "m"] [1337.351403, "o", "-"] [1337.901584, "o", "b"] [1338.223761, "o", "l"] [1338.517256, "o", "o"] [1338.666868, "o", "o"] [1338.962024, "o", "e"] [1339.048643, "o", "d"] [1339.22295, "o", " "] [1340.295211, "o", "\b \b"] [1340.439211, "o", "\b \b"] [1340.597801, "o", "\b \b"] [1341.237647, "o", "d"] [1341.421194, "o", "e"] [1341.574415, "o", "d"] [1341.695578, "o", " "] [1351.39235, "o", "d"] [1352.200643, "o", "o"] [1352.438814, "o", "g"] [1353.571579, "o", ")"] [1354.172262, "o", " "] [1354.70829, "o", "("] [1355.089768, "o", "w"] [1355.277324, "o", "a"] [1355.560933, "o", "r"] [1355.767784, "o", "m"] [1356.165734, "o", "-"] [1357.089678, "o", "b"] [1357.233385, "o", "l"] [1357.510419, "o", "o"] [1357.648816, "o", "o"] [1357.851238, "o", "d"] [1358.034529, "o", "e"] [1358.189783, "o", "d"] [1358.37772, "o", " "] [1359.658208, "o", "c"] [1359.829137, "o", "a"] [1359.980636, "o", "t"] [1361.613416, "o", ")"] [1361.802684, "o", " "] [1364.133214, "o", "("] [1365.095217, "o", "w"] [1365.75025, "o", "a"] [1365.965123, "o", "r"] [1366.49863, "o", "m"] [1366.861594, "o", "-"] [1368.026581, "o", "b"] [1368.494651, "o", "l"] [1368.787868, "o", "o"] [1368.942871, "o", "o"] [1369.1178, "o", "d"] [1369.304326, "o", "e"] [1369.480571, "o", "d"] [1369.620793, "o", " "] [1372.103044, "o", "d"] [1372.31036, "o", "u"] [1372.572809, "o", "c"] [1372.809406, "o", "k"] [1373.494297, "o", ")"] [1402.507861, "o", ")"] [1403.064617, "o", "\r\n\r\n[CSTRCPSR2] Missing name for deffacts construct\r\n\r\nERROR:\r\n(deffacts (\r\n"] [1403.065005, "o", "CLIPS> "] [1407.200071, "o", "("] [1407.528569, "o", "d"] [1407.729404, "o", "e"] [1407.894358, "o", "f"] [1408.070819, "o", "f"] [1408.816521, "o", "a"] [1409.076547, "o", "c"] [1409.259146, "o", "t"] [1409.321088, "o", "s"] [1409.485573, "o", " "] [1414.257428, "o", "a"] [1414.337102, "o", "n"] [1414.48621, "o", "i"] [1414.597035, "o", "m"] [1414.666438, "o", "a"] [1414.791933, "o", "l"] [1415.950381, "o", "-"] [1417.358673, "o", "p"] [1417.486724, "o", "r"] [1417.652776, "o", "o"] [1417.976955, "o", "p"] [1418.061626, "o", "s"] [1418.983646, "o", " "] [1426.550902, "o", "(lays-eggs duck) (lays-eggs turtle) (warm-blooded dog) (warm-blooded cat)\r\n(warm-blooded duck))"] [1429.851984, "o", "\r\nCLIPS> "] [1431.113981, "o", "\r\n"] [1431.294746, "o", "\r\n"] [1431.407795, "o", "\r\n"] [1431.475616, "o", "\r\n"] [1431.657657, "o", "\r\n"] [1431.913132, "o", "\r\n"] [1433.237016, "o", "("] [1433.481613, "o", "r"] [1433.512137, "o", "e"] [1433.683223, "o", "s"] [1434.039786, "o", "e"] [1434.135727, "o", "t"] [1434.343856, "o", ")"] [1435.078873, "o", "\r\n"] [1435.079366, "o", "<== f-0 (initial-fact)\r\n<== f-1 (animal dog)\r\n<== f-2 (animal cat)\r\n<== f-3 (animal duck)\r\n<== f-4 (animal turtle)\r\n==> f-0 (initial-fact)\r\n==> f-1 (animal dog)\r\n==> f-2 (animal cat)\r\n==> f-3 (animal duck)\r\n==> f-4 (animal turtle)\r\n==> f-5 (lays-eggs duck)\r\n==> f-6 (lays-eggs turtle)\r\n==> f-7 (warm-blooded dog)\r\n==> f-8 (warm-blooded cat)\r\n==> f-9 (warm-blooded duck)\r\nCLIPS> "] [1451.303633, "o", "\r\n"] [1451.542927, "o", "\r\n"] [1455.193427, "o", "("] [1475.417354, "o", "d"] [1475.504472, "o", "e"] [1475.621489, "o", "f"] [1476.610103, "o", "r"] [1476.897752, "o", "u"] [1477.117792, "o", "l"] [1477.371781, "o", "e"] [1479.407098, "o", " "] [1480.641398, "o", "m"] [1480.749665, "o", "a"] [1480.975988, "o", "m"] [1481.133392, "o", "m"] [1482.006738, "o", "a"] [1482.508816, "o", "l"] [1483.380319, "o", " "] [1485.775709, "o", "\r\n"] [1487.685773, "o", " "] [1487.900691, "o", " "] [1489.03936, "o", "("] [1489.6632, "o", "a"] [1489.855807, "o", "n"] [1490.013668, "o", "i"] [1490.200514, "o", "m"] [1490.325721, "o", "a"] [1490.518626, "o", "l"] [1490.853897, "o", " "] [1492.152586, "o", "?"] [1492.431197, "o", "n"] [1492.587826, "o", "a"] [1492.666433, "o", "m"] [1492.799019, "o", "e"] [1493.806368, "o", ")"] [1494.520307, "o", "\r\n"] [1495.342467, "o", " "] [1495.517465, "o", " "] [1496.465812, "o", "("] [1498.038602, "o", "w"] [1498.269897, "o", "a"] [1498.525856, "o", "r"] [1499.058661, "o", "m"] [1499.401018, "o", "-"] [1499.739098, "o", "b"] [1500.023664, "o", "l"] [1500.300201, "o", "o"] [1500.452206, "o", "o"] [1500.630449, "o", "d"] [1500.828897, "o", "e"] [1500.993873, "o", "d"] [1501.859632, "o", " "] [1502.806739, "o", "?"] [1503.477664, "o", "n"] [1503.620884, "o", "a"] [1503.774766, "o", "m"] [1503.848134, "o", "e"] [1504.816599, "o", ")"] [1558.659865, "o", "\r\n"] [1559.477499, "o", " "] [1559.599013, "o", " "] [1560.700793, "o", "("] [1564.851563, "o", "n"] [1564.918734, "o", "o"] [1565.09973, "o", "t"] [1565.439285, "o", " "] [1566.174427, "o", "("] [1568.59946, "o", "l"] [1568.714551, "o", "a"] [1568.944712, "o", "y"] [1569.237914, "o", "s"] [1570.207678, "o", "-"] [1570.448663, "o", "e"] [1570.77, "o", "g"] [1570.893366, "o", "g"] [1571.015441, "o", "s"] [1571.647129, "o", " "] [1572.724085, "o", "?"] [1572.959839, "o", "n"] [1573.110595, "o", "a"] [1573.12588, "o", "m"] [1573.244375, "o", "e"] [1573.85491, "o", ")"] [1575.270634, "o", ")"] [1577.148415, "o", "\r\n"] [1593.486728, "o", "="] [1594.059695, "o", ">"] [1594.935238, "o", "\r\n"] [1595.998815, "o", " "] [1596.167783, "o", " "] [1597.009741, "o", "("] [1599.073508, "o", "a"] [1599.403852, "o", "s"] [1599.548581, "o", "s"] [1599.771928, "o", "e"] [1599.989211, "o", "r"] [1600.145595, "o", "t"] [1602.042711, "o", " "] [1603.412819, "o", "("] [1604.30474, "o", "m"] [1604.405761, "o", "a"] [1604.870225, "o", "m"] [1605.019126, "o", "m"] [1605.165396, "o", "a"] [1605.307357, "o", "l"] [1606.246563, "o", " "] [1607.023586, "o", "?"] [1607.406574, "o", "n"] [1607.476288, "o", "a"] [1607.677325, "o", "m"] [1607.759731, "o", "e"] [1608.669473, "o", ")"] [1609.430773, "o", ")"] [1620.442547, "o", "\r\n"] [1621.385386, "o", " "] [1621.527323, "o", " "] [1622.525469, "o", "("] [1623.05745, "o", "p"] [1623.238967, "o", "r"] [1623.37073, "o", "i"] [1623.543715, "o", "n"] [1623.650739, "o", "t"] [1625.093788, "o", "o"] [1625.363863, "o", "u"] [1625.461146, "o", "t"] [1625.549695, "o", " "] [1628.358172, "o", "t"] [1628.433793, "o", " "] [1630.238679, "o", "?"] [1630.647648, "o", "n"] [1630.752329, "o", "a"] [1630.877468, "o", "m"] [1630.974424, "o", "e"] [1631.140296, "o", " "] [1632.063877, "o", "\""] [1632.651028, "o", "i"] [1632.874497, "o", "s"] [1632.927841, "o", " "] [1634.201112, "o", "\b \b"] [1634.388716, "o", "\b \b"] [1634.533569, "o", "\b \b"] [1635.007982, "o", " "] [1635.438727, "o", "i"] [1635.582561, "o", "s"] [1635.676019, "o", " "] [1635.78249, "o", "a"] [1635.89151, "o", " "] [1636.216668, "o", "m"] [1636.351143, "o", "a"] [1636.487373, "o", "m"] [1636.638025, "o", "m"] [1636.823625, "o", "a"] [1636.975207, "o", "l"] [1638.033409, "o", ":"] [1638.999841, "o", "\b \b"] [1639.398924, "o", "\""] [1639.811747, "o", " "] [1640.333369, "o", "c"] [1640.545163, "o", "r"] [1641.190435, "o", "l"] [1641.277717, "o", "f"] [1643.447845, "o", ")"] [1645.820658, "o", "\r\n"] [1646.888896, "o", ")"] [1648.111407, "o", "\r\nCLIPS> "] [1651.394622, "o", "\r\n"] [1651.780788, "o", "\r\n"] [1652.796571, "o", "\r\n"] [1673.147769, "o", "("] [1673.615753, "o", "f"] [1673.712425, "o", "a"] [1673.961208, "o", "c"] [1674.220105, "o", "t"] [1674.296918, "o", "s"] [1675.142968, "o", ")"] [1675.601894, "o", "\r\n"] [1675.602304, "o", "f-0 (initial-fact)\r\nf-1 (animal dog)\r\nf-2 (animal cat)\r\nf-3 (animal duck)\r\nf-4 (animal turtle)\r\nf-5 (lays-eggs duck)\r\nf-6 (lays-eggs turtle)\r\nf-7 (warm-blooded dog)\r\nf-8 (warm-blooded cat)\r\nf-9 (warm-blooded duck)\r\nFor a total of 10 facts.\r\nCLIPS> "] [1678.336649, "o", "("] [1679.021731, "o", "a"] [1679.700264, "o", "g"] [1679.808651, "o", "e"] [1679.950217, "o", "n"] [1680.327345, "o", "d"] [1680.429437, "o", "a"] [1681.349933, "o", ")"] [1681.925693, "o", "\r\n"] [1681.975685, "o", "0 mammal: f-2,f-8,\r\n0 mammal: f-1,f-7,\r\n0 find-animal: f-4\r\n0 name-animals: f-4\r\n0 find-animal: f-3\r\n0 name-animals: f-3\r\n0 find-animal: f-2\r\n0 name-animals: f-2\r\n0 find-animal: f-1\r\n0 name-animals: f-1\r\nFor a total of 10 activations.\r\nCLIPS> "] [1725.711271, "o", "\r\n"] [1725.892496, "o", "\r\n"] [1726.061263, "o", "\r\n"] [1726.232368, "o", "\r\n"] [1727.144363, "o", "("] [1727.481478, "o", "r"] [1727.657306, "o", "u"] [1727.8904, "o", "n"] [1729.049284, "o", ")"] [1729.504308, "o", "\r\n"] [1729.575644, "o", "==> f-10 (mammal cat)\r\ncat is a mammal\r\n==> f-11 (mammal dog)\r\ndog is a mammal\r\nFound an animal\r\nFound an animal turtle\r\nFound an animal\r\nFound an animal duck\r\nFound an animal\r\nFound an animal cat\r\nFound an animal\r\nFound an animal dog\r\nCLIPS> "] [1764.826269, "o", "\r\n"] [1764.989279, "o", "\r\n"] [1765.133991, "o", "\r\n"] [1766.310605, "o", "("] [1766.809321, "o", "f"] [1767.439946, "o", "\b \b"] [1767.579188, "o", "d"] [1768.086734, "o", "e"] [1768.419345, "o", "f"] [1769.968886, "o", "f"] [1770.082452, "o", "a"] [1770.309941, "o", "c"] [1770.817589, "o", "t"] [1771.974099, "o", " "] [1773.920783, "o", "a"] [1774.215854, "o", "n"] [1774.386971, "o", "i"] [1774.497189, "o", "m"] [1775.041353, "o", "a"] [1775.556756, "o", "l"] [1776.315646, "o", "-"] [1776.839112, "o", "o"] [1777.162166, "o", "f"] [1777.294687, "o", "f"] [1777.602196, "o", "s"] [1777.807334, "o", "p"] [1778.433501, "o", "r"] [1778.575922, "o", "i"] [1778.861859, "o", "n"] [1778.973913, "o", "g"] [1779.247885, "o", "s"] [1779.457674, "o", " "] [1780.648791, "o", "("] [1784.78409, "o", "c"] [1785.114215, "o", "h"] [1785.580369, "o", "i"] [1785.777122, "o", "l"] [1785.920529, "o", "d"] [1786.932405, "o", "-"] [1787.505979, "o", "o"] [1787.634663, "o", "f"] [1787.686865, "o", " "] [1789.005307, "o", "d"] [1789.623105, "o", "o"] [1789.733956, "o", "g"] [1789.883717, "o", " "] [1790.558675, "o", "p"] [1790.841235, "o", "u"] [1791.251242, "o", "p"] [1791.36653, "o", "p"] [1791.677058, "o", "y"] [1792.190324, "o", ")"] [1792.474671, "o", " "] [1796.486208, "o", "("] [1797.871689, "o", "c"] [1798.12348, "o", "h"] [1798.319344, "o", "i"] [1798.719056, "o", "l"] [1798.915944, "o", "d"] [1799.342449, "o", "-"] [1799.65065, "o", "o"] [1799.73251, "o", "f"] [1799.854691, "o", " "] [1800.588577, "o", "c"] [1800.688418, "o", "a"] [1800.757867, "o", "t"] [1800.878214, "o", " "] [1802.110451, "o", "k"] [1802.25713, "o", "i"] [1802.514173, "o", "t"] [1802.673074, "o", "t"] [1802.774736, "o", "e"] [1802.936723, "o", "n"] [1804.066747, "o", ")"] [1804.873771, "o", " "] [1806.575593, "o", "("] [1807.718901, "o", "c"] [1807.89178, "o", "h"] [1808.099952, "o", "i"] [1808.317641, "o", "l"] [1808.493791, "o", "d"] [1809.197647, "o", "-"] [1809.517472, "o", "o"] [1809.672171, "o", "f"] [1809.742035, "o", " "] [1812.228097, "o", "t"] [1812.725312, "o", "u"] [1813.01919, "o", "r"] [1813.28635, "o", "t"] [1813.651758, "o", "l"] [1813.686397, "o", "e"] [1813.861924, "o", " "] [1817.188495, "o", "h"] [1817.352805, "o", "a"] [1817.602286, "o", "t"] [1818.010839, "o", "c"] [1818.226052, "o", "h"] [1818.65604, "o", "l"] [1818.870428, "o", "i"] [1819.162666, "o", "n"] [1819.233285, "o", "g"] [1820.403708, "o", ")"] [1821.270918, "o", ")"] [1822.140765, "o", "\r\n"] [1822.141052, "o", "\r\n[EXPRNPSR3] Missing function declaration for deffact.\r\nCLIPS> "] [1832.52981, "o", "("] [1832.92716, "o", "d"] [1833.125246, "o", "e"] [1833.407793, "o", "f"] [1833.663606, "o", "f"] [1833.889757, "o", "a"] [1834.125685, "o", "c"] [1834.295631, "o", "t"] [1834.352587, "o", "s"] [1834.491287, "o", " "] [1839.330681, "o", "animal-offsprings (child-of dog puppy) (child-of cat kitten) (child-of turtle hatc\r\nhling))"] [1841.346257, "o", "\r\n"] [1841.346414, "o", "CLIPS> "] [1842.519204, "o", "\r\n"] [1842.899973, "o", "\r\n"] [1843.349797, "o", "\r\n"] [1843.403417, "o", "\r\n\r\n"] [1844.707148, "o", "("] [1845.090993, "o", "r"] [1845.262127, "o", "e"] [1845.408887, "o", "s"] [1845.600201, "o", "e"] [1845.673408, "o", "t"] [1846.56478, "o", ")"] [1847.101463, "o", "\r\n"] [1847.101632, "o", "<== f-0 (initial-fact)\r\n<== f-1 (animal dog)\r\n<== f-2 (animal cat)\r\n<== f-3 (animal duck)\r\n<== f-4 (animal turtle)\r\n<== f-5 (lays-eggs duck)\r\n<== f-6 (lays-eggs turtle)\r\n<== f-7 (warm-blooded dog)\r\n<== f-8 (warm-blooded cat)\r\n<== f-9 (warm-blooded duck)\r\n<== f-10 (mammal cat)\r\n<== f-11 (mammal dog)\r\n==> f-0 (initial-fact)\r\n==> f-1 (animal dog)\r\n==> f-2 (animal cat)\r\n==> f-3 (animal duck)\r\n==> f-4 (animal turtle)\r\n==> f-5 (lays-eggs duck)\r\n==> f-6 (lays-eggs turtle)\r\n==> f-7 (warm-blooded dog)\r\n==> f-8 (warm-blooded cat)\r\n==> f-9 (warm-blooded duck)\r\n==> f-10 (child-of dog puppy)\r\n==> f-11 (child-of cat kitten)\r\n==> f-12 (child-of turtle hatc hling)\r\nCLIPS> "] [1862.982682, "o", "("] [1863.72911, "o", "d"] [1863.896411, "o", "e"] [1864.058374, "o", "f"] [1864.233464, "o", "f"] [1864.437759, "o", "a"] [1864.667647, "o", "c"] [1864.745152, "o", "t"] [1864.88376, "o", "s"] [1865.038496, "o", " "] [1868.163668, "o", "a"] [1868.267116, "o", "n"] [1868.418826, "o", "i"] [1868.606815, "o", "m"] [1868.792669, "o", "a"] [1868.927656, "o", "l"] [1869.832621, "o", "-"] [1870.252852, "o", "o"] [1870.607777, "o", "f"] [1870.752722, "o", "f"] [1871.880629, "o", "p"] [1872.515241, "o", "\b \b"] [1872.731142, "o", "s"] [1872.813842, "o", "p"] [1873.247835, "o", "r"] [1873.359598, "o", "i"] [1873.592487, "o", "n"] [1873.864684, "o", "g"] [1873.885988, "o", "s"] [1874.016703, "o", " "] [1878.795354, "o", "(child-of dog puppy)"] [1879.862404, "o", " "] [1883.945143, "o", "(child-of cat kitten)"] [1889.56153, "o", "(child-of turtle"] [1891.049041, "o", " "] [1891.72586, "o", "h"] [1891.82695, "o", "a"] [1891.999931, "o", "t"] [1892.240674, "o", "c"] [1896.035823, "o", "h"] [1896.435771, "o", "l"] [1896.628764, "o", "i"] [1896.859665, "o", "n"] [1897.035665, "o", "g"] [1897.990332, "o", ")"] [1898.165786, "o", ")"] [1898.792942, "o", "\r\n"] [1898.793425, "o", "CLIPS> "] [1899.709354, "o", "\r\n"] [1899.887719, "o", "\r\n"] [1900.055727, "o", "\r\n"] [1900.236023, "o", "\r\n"] [1900.385494, "o", "\r\n"] [1900.928307, "o", "("] [1901.300257, "o", "r"] [1901.41533, "o", "e"] [1901.590566, "o", "s"] [1901.772145, "o", "e"] [1902.029697, "o", "t"] [1902.740986, "o", ")"] [1903.037885, "o", "\r\n"] [1903.079736, "o", "<== f-0 (initial-fact)\r\n<== f-1 (animal dog)\r\n<== f-2 (animal cat)\r\n<== f-3 (animal duck)\r\n<== f-4 (animal turtle)\r\n<== f-5 (lays-eggs duck)\r\n<== f-6 (lays-eggs turtle)\r\n<== f-7 (warm-blooded dog)\r\n<== f-8 (warm-blooded cat)\r\n<== f-9 (warm-blooded duck)\r\n<== f-10 (child-of dog puppy)\r\n<== f-11 (child-of cat kitten)\r\n<== f-12 (child-of turtle hatc hling)\r\n==> f-0 (initial-fact)\r\n==> f-1 (animal dog)\r\n==> f-2 (animal cat)\r\n==> f-3 (animal duck)\r\n==> f-4 (animal turtle)\r\n==> f-5 (lays-eggs duck)\r\n==> f-6 (lays-eggs turtle)\r\n==> f-7 (warm-blooded dog)\r\n==> f-8 (warm-blooded cat)\r\n==> f-9 (warm-blooded duck)\r\n==> f-10 (child-of dog puppy)\r\n==> f-11 (child-of cat kitten)\r\n==> f-12 (child-of turtle hatchling)\r\nCLIPS> "] [1914.6621, "o", "("] [1915.512796, "o", "d"] [1915.614154, "o", "e"] [1915.713133, "o", "f"] [1916.065224, "o", "r"] [1916.310268, "o", "u"] [1916.577398, "o", "l"] [1916.710634, "o", " "] [1917.78183, "o", "\b \b"] [1917.954187, "o", "r"] [1917.991293, "o", " "] [1919.288995, "o", "\b \b"] [1919.428864, "o", "\b \b"] [1919.526782, "o", "e"] [1919.616332, "o", " "] [1956.506932, "o", "c"] [1956.721715, "o", "h"] [1957.030169, "o", "i"] [1957.257162, "o", "l"] [1957.423537, "o", "d"] [1960.717985, "o", "\b \b"] [1960.846671, "o", "\b \b"] [1961.00122, "o", "\b \b"] [1961.144597, "o", "\b \b"] [1961.289787, "o", "\b \b"] [1962.01059, "o", "m"] [1962.169537, "o", "a"] [1962.467693, "o", "m"] [1962.636571, "o", "m"] [1962.737256, "o", "a"] [1962.88854, "o", "l"] [1963.85592, "o", "-"] [1964.52775, "o", "c"] [1964.801473, "o", "h"] [1964.875501, "o", "i"] [1966.145845, "o", "l"] [1966.214845, "o", "d"] [1967.14882, "o", "\r\n"] [1969.792464, "o", " "] [1969.964343, "o", " "] [1970.777717, "o", "("] [1977.906776, "o", "m"] [1978.014268, "o", "a"] [1978.190302, "o", "m"] [1978.32629, "o", "m"] [1978.461601, "o", "a"] [1978.617304, "o", "l"] [1979.080089, "o", " "] [1997.479601, "o", "?"] [1998.615615, "o", "a"] [1998.807764, "o", "n"] [1998.951789, "o", "i"] [1999.124194, "o", "m"] [2003.64773, "o", "a"] [2003.771915, "o", "l"] [2004.840518, "o", ")"] [2005.901659, "o", "\r\n"] [2006.860488, "o", " "] [2006.997644, "o", " "] [2026.201008, "o", "("] [2029.717715, "o", "c"] [2030.113734, "o", "h"] [2030.349482, "o", "i"] [2030.799306, "o", "l"] [2030.94055, "o", "d"] [2031.043434, "o", " "] [2031.868564, "o", "\b \b"] [2032.339444, "o", "-"] [2032.929481, "o", "o"] [2033.083393, "o", "f"] [2033.166743, "o", " "] [2034.33223, "o", "?"] [2034.773655, "o", "a"] [2034.910293, "o", "n"] [2035.061656, "o", "i"] [2035.231065, "o", "m"] [2035.419347, "o", "a"] [2035.541633, "o", "l"] [2051.834458, "o", " "] [2054.602549, "o", "?"] [2069.791274, "o", "c"] [2069.89571, "o", "h"] [2070.742177, "o", "i"] [2070.943889, "o", "l"] [2071.124503, "o", "d"] [2071.846573, "o", ")"] [2112.631818, "o", "\r\n"] [2113.670864, "o", "="] [2114.178479, "o", ">"] [2115.702754, "o", "\r\n"] [2116.294561, "o", " "] [2116.599289, "o", " "] [2117.465352, "o", "("] [2118.318584, "o", "a"] [2118.654757, "o", "s"] [2118.785638, "o", "s"] [2119.03062, "o", "e"] [2119.06437, "o", "r"] [2119.276234, "o", "t"] [2119.594335, "o", " "] [2121.647895, "o", "("] [2125.327288, "o", "m"] [2125.439742, "o", "a"] [2125.646758, "o", "m"] [2125.794453, "o", "m"] [2125.926135, "o", "a"] [2126.038798, "o", "l"] [2126.469508, "o", " "] [2128.570829, "o", "?"] [2129.107911, "o", "c"] [2129.348832, "o", "h"] [2129.642519, "o", "i"] [2130.259736, "o", "l"] [2130.278641, "o", "d"] [2131.275845, "o", ")"] [2136.750749, "o", ")"] [2137.83121, "o", "\r\n"] [2138.650854, "o", " "] [2138.810176, "o", " "] [2139.82737, "o", "("] [2140.305475, "o", "p"] [2140.511709, "o", "r"] [2140.679594, "o", "i"] [2140.862887, "o", "n"] [2140.967642, "o", "t"] [2141.312592, "o", "o"] [2141.521659, "o", "u"] [2141.669899, "o", "t"] [2142.923955, "o", " "] [2144.127093, "o", "t"] [2144.265601, "o", " "] [2145.248571, "o", "\""] [2146.930691, "o", "C"] [2147.227601, "o", "h"] [2147.684491, "o", "i"] [2147.833538, "o", "l"] [2147.971169, "o", "d"] [2148.074664, "o", " "] [2149.387879, "o", "\""] [2150.099694, "o", " "] [2150.377124, "o", "?"] [2150.72754, "o", "c"] [2150.960146, "o", "h"] [2151.205672, "o", "i"] [2151.568417, "o", "l"] [2151.679952, "o", "d"] [2152.675213, "o", " "] [2153.197679, "o", "\""] [2154.39304, "o", " "] [2154.626336, "o", "i"] [2154.799237, "o", "s"] [2154.875697, "o", " "] [2154.999807, "o", "a"] [2155.159342, "o", "l"] [2155.325778, "o", "s"] [2155.463029, "o", "o"] [2155.513642, "o", " "] [2155.726325, "o", "m"] [2155.82971, "o", "a"] [2155.95663, "o", "m"] [2156.134877, "o", "m"] [2156.216154, "o", "a"] [2156.358731, "o", "l"] [2157.693434, "o", "\""] [2158.015624, "o", " "] [2161.12222, "o", "c"] [2161.315053, "o", "r"] [2162.424675, "o", "l"] [2162.515933, "o", "f"] [2163.623745, "o", ")"] [2165.937258, "o", "\r\n"] [2167.194903, "o", ")"] [2171.181743, "o", "\r\n"] [2171.182182, "o", "CLIPS> "] [2173.131866, "o", "\r\n"] [2173.278001, "o", "\r\n"] [2173.414716, "o", "\r\n"] [2190.48962, "o", "("] [2190.84776, "o", "r"] [2190.999503, "o", "u"] [2191.221191, "o", "l"] [2191.410627, "o", "e"] [2191.574868, "o", "s"] [2192.032391, "o", ")"] [2192.455133, "o", "\r\nfind-animal\r\nname-animals\r\nmammal\r\nmammal-child\r\nFor a total of 4 defrules.\r\nCLIPS> "] [2205.497793, "o", "("] [2205.796763, "o", "a"] [2205.959678, "o", "g"] [2206.157107, "o", "e"] [2206.299282, "o", "n"] [2207.811157, "o", "d"] [2207.923578, "o", "a"] [2208.331815, "o", ")"] [2208.78511, "o", "\r\n0 mammal: f-2,f-8,\r\n0 mammal: f-1,f-7,\r\n0 find-animal: f-4\r\n0 name-animals: f-4\r\n0 find-animal: f-3\r\n0 name-animals: f-3\r\n0 find-animal: f-2\r\n0 name-animals: f-2\r\n0 find-animal: f-1\r\n0 name-animals: f-1\r\nFor a total of 10 activations.\r\nCLIPS> "] [2231.745303, "o", "("] [2232.187234, "o", "r"] [2232.562353, "o", "u"] [2232.663359, "o", "n"] [2233.611722, "o", ")"] [2234.738693, "o", "\b \b"] [2234.934909, "o", "\b \b"] [2235.101671, "o", "\b \b"] [2235.854655, "o", "\b \b"] [2236.447811, "o", "w"] [2236.643272, "o", "a"] [2236.805768, "o", "t"] [2237.072417, "o", "c"] [2237.167659, "o", "h"] [2237.254384, "o", " "] [2238.025533, "o", "r"] [2238.327223, "o", "u"] [2238.536922, "o", "l"] [2238.623251, "o", "e"] [2238.822531, "o", "s"] [2239.296857, "o", ")"] [2240.432978, "o", "\r\n"] [2240.433413, "o", "CLIPS> "] [2241.617335, "o", "("] [2241.937652, "o", "r"] [2242.114841, "o", "u"] [2242.338975, "o", "m"] [2243.126621, "o", "\b \b"] [2243.513683, "o", "n"] [2244.450159, "o", ")"] [2245.070738, "o", "\r\n"] [2245.071096, "o", "FIRE 1 mammal: f-2,f-8,\r\n==> f-13 (mammal cat)\r\ncat is a mammal\r\nFIRE 2 mammal-child: f-13,f-11\r\n==> f-14 (mammal kitten)\r\nChild kitten is also mammal\r\nFIRE 3 mammal: f-1,f-7,\r\n==> f-15 (mammal dog)\r\ndog is a mammal\r\nFIRE 4 mammal-child: f-15,f-10\r\n==> f-16 (mammal puppy)\r\nChild puppy is also mammal\r\nFIRE 5 find-animal: f-4\r\nFound an animal\r\nFIRE 6 name-animals: f-4\r\nFound an animal turtle\r\nFIRE 7 find-animal: f-3\r\nFound an animal\r\nFIRE 8 name-animals: f-3\r\nFound an animal duck\r\nFIRE 9 find-animal: f-2\r\nFound an animal\r\nFIRE 10 name-animals: f-2\r\nFound an animal cat\r\nFIRE 11 find-animal: f-1\r\nFound an animal\r\nFIRE 12 name-animals: f-1\r\nFound an animal dog\r\nCLIPS> "] [2286.407811, "o", "("] [2287.484504, "o", "f"] [2287.587118, "o", "a"] [2287.842844, "o", "c"] [2287.996303, "o", "t"] [2288.071186, "o", "s"] [2288.857952, "o", ")"] [2289.333991, "o", "\r\n"] [2289.334152, "o", "f-0 (initial-fact)\r\nf-1 (animal dog)\r\nf-2 (animal cat)\r\nf-3 (animal duck)\r\nf-4 (animal turtle)\r\nf-5 (lays-eggs duck)\r\nf-6 (lays-eggs turtle)\r\nf-7 (warm-blooded dog)\r\nf-8 (warm-blooded cat)\r\nf-9 (warm-blooded duck)\r\nf-10 (child-of dog puppy)\r\nf-11 (child-of cat kitten)\r\nf-12 (child-of turtle hatchling)\r\nf-13 (mammal cat)\r\nf-14 (mammal kitten)\r\nf-15 (mammal dog)\r\nf-16 (mammal puppy)\r\nFor a total of 17 facts.\r\nCLIPS> "] [2649.807597, "o", "\r\n"] [2649.977439, "o", "\r\n"] [2650.172051, "o", "\r\n"] [2865.445293, "o", "("] [2865.747418, "o", "e"] [2865.999904, "o", "x"] [2866.729691, "o", "i"] [2866.823793, "o", "t"] [2867.82552, "o", ")"] [2868.369965, "o", "\r\n"] [2868.37334, "o", "\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2870.448843, "o", "\r\n"] [2870.449199, "o", "\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2870.62481, "o", "\r\n\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2870.804408, "o", "\r\n"] [2870.804799, "o", "\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2870.958696, "o", "\r\n"] [2870.959111, "o", "\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2871.544127, "o", "l"] [2871.713515, "o", "s"] [2871.934098, "o", "\r\n"] [2871.991348, "o", "clips2.cast goorm.manifest README.md setup.sh\r\n"] [2871.992095, "o", "\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2875.244525, "o", "l"] [2875.352527, "o", "e"] [2875.586627, "o", "s"] [2875.73543, "o", "s"] [2875.842723, "o", " "] [2876.839844, "o", "c"] [2877.010315, "o", "l"] [2877.215718, "o", "i"] [2877.299726, "o", "ps2.cast "] [2878.537137, "o", "\r\n"] [2878.589937, "o", "\u001b7\u001b[?47h\u001b[?1h\u001b=\r"] [2878.590219, "o", "{\"timestamp\": 1679306782, \"height\": 16, \"width\": 148, \"version\": 2, \"env\": {\"TERM\": \"xterm- \bcolor\", \"SHELL\": \"/bin/bash\"}, \"idle_time_limit\": 1.0}\r\n[0.076593, \"o\", \"\\u001b]0;root@goorm: /workspace/myCLIPS\\u0007\\u001b[01;32mroot@goorm\\u001b \b[00m:\\u001b[01;34m/workspace/myCLIPS\\u001b[00m# \"]\r\n[2.726256, \"o\", \"\\r\\n\\u001b]0;root@goorm: /workspace/myCLIPS\\u0007\\u001b[01;32mroot@goorm\\u \b001b[00m:\\u001b[01;34m/workspace/myCLIPS\\u001b[00m# \"]\r\n[2.895805, \"o\", \"\\r\\n\"]\r\n[2.8962, \"o\", \"\\u001b]0;root@goorm: /workspace/myCLIPS\\u0007\\u001b[01;32mroot@goorm\\u001b[0 \b0m:\\u001b[01;34m/workspace/myCLIPS\\u001b[00m# \"]\r\n[3.061522, \"o\", \"\\r\\n\"]\r\n[3.061944, \"o\", \"\\u001b]0;root@goorm: /workspace/myCLIPS\\u0007\\u001b[01;32mroot@goorm\\u001b \b[00m:\\u001b[01;34m/workspace/myCLIPS\\u001b[00m# \"]\r\n[3.21202, \"o\", \"\\r\\n\\u001b]0;root@goorm: /workspace/myCLIPS\\u0007\\u001b[01;32mroot@goorm\\u0 \b\u001b[7mclips2.cast\u001b[m\u001b[K"] [2881.664869, "o", "\r\u001b[K\u001b[?1l\u001b>\u001b[2J\u001b[?47l\u001b8"] [2881.665461, "o", "\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2883.120881, "o", "\r\n\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2883.282357, "o", "\r\n\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2883.462303, "o", "\r\n\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "] [2883.639106, "o", "\r\n"] [2883.639258, "o", "\u001b]0;root@goorm: /workspace/myCLIPS\u0007\u001b[01;32mroot@goorm\u001b[00m:\u001b[01;34m/workspace/myCLIPS\u001b[00m# "]