*** Yes *** Yes *** Yes *** Yes Fri Feb 17 22:16:10 CST 2017 *** Yes > *** Yes > > write_time(Ignore)? 0 *** Yes Ignore = @. --1> *** No > remark(2001, Remark)? *** Yes Remark = 'Test Set 2 - about understanding.'. --1> *** No > remark(2002, Remark)? *** Yes Remark = 'A person (Subject) understands any propositon resulting from symbols he has.'. --1> *** No > quote_note(br0006, Author, Author_Article, Author_Book, Article_Title, Book_Title, Pages, Quotation, Article_Year, Book_Year, Note1, Notes_Article, Notes_Book)? *** Yes Article_Title = none, Article_Year = none, Author = 'Bertrand Russell', Author_Article = none, Author_Book = 'Bertrand Russell', Book_Title = 'CPBR 07: Theory of Knowledge, The 1913 Manuscript', Book_Year = '1913', Note1 = none, Notes_Article = none, Notes_Book = none, Pages = '108', Quotation = 'TBD'. --1> *** No > quote_note(br0007, Author, Author_Article, Author_Book, Article_Title, Book_Title, Pages, Quotation, Article_Year, Book_Year, Note1, Notes_Article, Notes_Book)? *** Yes Article_Title = none, Article_Year = none, Author = 'Bertrand Russell', Author_Article = none, Author_Book = 'Bertrand Russell', Book_Title = 'CPBR 07: Theory of Knowledge, The 1913 Manuscript', Book_Year = '1913', Note1 = none, Notes_Article = none, Notes_Book = none, Pages = '115', Quotation = 'TBD'. --1> *** No > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > %% understands_external_internal_object(Subject, Time, 0, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object)? > %% This is for type 0 > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > %% Simple query for this is: (and continued by semi-colons) > > understands_external_internal_object(Subject, Time, 0, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object)? *** Yes A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_External_Symbol = cicero_ext, B_Internal_Symbol = tom_cicero_int, B_Object = cicero, C_External_Symbol = nop, C_Internal_Symbol = nop, C_Object = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> ; *** Yes A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_External_Symbol = cataline_ext, B_Internal_Symbol = tom_cataline_int, B_Object = cataline, C_External_Symbol = nop, C_Internal_Symbol = nop, C_Object = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> ; *** Yes A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_External_Symbol = tully_ext, B_Internal_Symbol = tom_tully_int, B_Object = cicero, C_External_Symbol = nop, C_Internal_Symbol = nop, C_Object = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> ; *** Yes A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_External_Symbol = tom_ext, B_Internal_Symbol = tom_tom_int, B_Object = tom, C_External_Symbol = nop, C_Internal_Symbol = nop, C_Object = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> % --1> --1> --1> %% One would get too many results if one tried to list all of them! --1> --1> %% next follow higher types (no results). --1> --1> understands_external_internal_object(Subject, Time, 1, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object)? *** No A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_External_Symbol = tom_ext, B_Internal_Symbol = tom_tom_int, B_Object = tom, C_External_Symbol = nop, C_Internal_Symbol = nop, C_Object = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> % --1> --1> understands_external_internal_object(Subject, Time, 2, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object)? *** No A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_External_Symbol = tom_ext, B_Internal_Symbol = tom_tom_int, B_Object = tom, C_External_Symbol = nop, C_Internal_Symbol = nop, C_Object = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> % --1> --1> understands_external_internal_object(Subject, Time, 3, Arity, External_Relation_Symbol, Internal_Relation_Symbol, Relation, A_External_Symbol, A_Object, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, B_Object, C_External_Symbol, C_Internal_Symbol, C_Object)? *** No A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_External_Symbol = tom_ext, B_Internal_Symbol = tom_tom_int, B_Object = tom, C_External_Symbol = nop, C_Internal_Symbol = nop, C_Object = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> % --1> --1> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% --1> %% understands_external_object(Subject, Time, 0, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object)? --1> %% --1> %% This is for type 0 --1> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% --1> %% Simple query for this is: (and continued by semi-colons) --1> --1> understands_external_object(Subject, Time, 0, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object)? *** Yes A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_External_Symbol = tom_ext, B_Internal_Symbol = tom_tom_int, B_Object = tom, C_External_Symbol = nop, C_Internal_Symbol = nop, C_Object = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. ----2> ; *** No A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_External_Symbol = tom_ext, B_Internal_Symbol = tom_tom_int, B_Object = tom, C_External_Symbol = nop, C_Internal_Symbol = nop, C_Object = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> ; *** Yes A_External_Symbol = cataline_ext, A_Internal_Symbol = tom_cataline_int, A_Object = cataline, Arity = 2, B_External_Symbol = cicero_ext, B_Internal_Symbol = tom_cicero_int, B_Object = cicero, C_External_Symbol = nop, C_Internal_Symbol = nop, C_Object = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> ; *** Yes A_External_Symbol = cataline_ext, A_Internal_Symbol = tom_cataline_int, A_Object = cataline, Arity = 2, B_External_Symbol = cataline_ext, B_Internal_Symbol = tom_cataline_int, B_Object = cataline, C_External_Symbol = nop, C_Internal_Symbol = nop, C_Object = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> *** No > %% One would get too many results if one tried to list all of them! > > %% next follow higher types (no results). > > understands_external_object(Subject, Time, 1, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object)? *** No > ; > > understands_external_object(Subject, Time, 2, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object)? *** No > ; > > understands_external_object(Subject, Time, 3, Arity, External_Relation_Symbol, Relation, A_External_Symbol, A_Object, B_External_Symbol, B_Object, C_External_Symbol, C_Object)? *** No > ; > > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > %% understands_external_internal(Subject, Time, 0, Arity, External_Relation_Symbol, Internal_Relation_Symbol, A_External_Symbol, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, C_External_Symbol, C_Internal_Symbol)? > %% > %% This is for type 0 > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > %% Simple query for this is: (and continued by semi-colons) > > understands_external_internal(Subject, Time, 0, Arity, External_Relation_Symbol, Internal_Relation_Symbol, A_External_Symbol, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, C_External_Symbol, C_Internal_Symbol)? *** Yes A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, Arity = 2, B_External_Symbol = cicero_ext, B_Internal_Symbol = tom_cicero_int, C_External_Symbol = nop, C_Internal_Symbol = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Subject = tom, Time = now. --1> ; *** Yes A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, Arity = 2, B_External_Symbol = cataline_ext, B_Internal_Symbol = tom_cataline_int, C_External_Symbol = nop, C_Internal_Symbol = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Subject = tom, Time = now. --1> ; *** Yes A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, Arity = 2, B_External_Symbol = tully_ext, B_Internal_Symbol = tom_tully_int, C_External_Symbol = nop, C_Internal_Symbol = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Subject = tom, Time = now. --1> ; *** Yes A_External_Symbol = cicero_ext, A_Internal_Symbol = tom_cicero_int, Arity = 2, B_External_Symbol = tom_ext, B_Internal_Symbol = tom_tom_int, C_External_Symbol = nop, C_Internal_Symbol = nop, External_Relation_Symbol = denounced_ext, Internal_Relation_Symbol = tom_denounced_int, Subject = tom, Time = now. --1> *** No > %% One would get too many results if one tried to list all of them! > > %% next follow higher types (no results). > > understands_external_internal(Subject, Time, 1, Arity, External_Relation_Symbol, Internal_Relation_Symbol, A_External_Symbol, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, C_External_Symbol, C_Internal_Symbol)? *** No > ; > > understands_external_internal(Subject, Time, 2, Arity, External_Relation_Symbol, Internal_Relation_Symbol, A_External_Symbol, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, C_External_Symbol, C_Internal_Symbol)? *** No > ; > > understands_external_internal(Subject, Time, 3, Arity, External_Relation_Symbol, Internal_Relation_Symbol, A_External_Symbol, A_Internal_Symbol, B_External_Symbol, B_Internal_Symbol, C_External_Symbol, C_Internal_Symbol)? *** No > ; > > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > %% understands_internal_object(Subject, Time, 0, Arity, Internal_Relation_Symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object)? > %% > %% This is for type 0 > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > %% Simple query for this is: (and continued by semi-colons) > > understands_internal_object(Subject, Time, 0, Arity, Internal_Relation_Symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object)? *** Yes A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_Internal_Symbol = tom_cicero_int, B_Object = cicero, C_Internal_Symbol = nop, C_Object = nop, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> ; *** Yes A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_Internal_Symbol = tom_tully_int, B_Object = cicero, C_Internal_Symbol = nop, C_Object = nop, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> ; *** Yes A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_Internal_Symbol = tom_cataline_int, B_Object = cataline, C_Internal_Symbol = nop, C_Object = nop, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> ; *** Yes A_Internal_Symbol = tom_cicero_int, A_Object = cicero, Arity = 2, B_Internal_Symbol = tom_tom_int, B_Object = tom, C_Internal_Symbol = nop, C_Object = nop, Internal_Relation_Symbol = tom_denounced_int, Relation = denounced, Subject = tom, Time = now. --1> *** No > %% One would get many results if one tried to list all of them! > > %% next follow higher types (no results). > > understands_internal_object(Subject, Time, 1, Arity, Internal_Relation_Symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object)? *** No > ; > > understands_internal_object(Subject, Time, 2, Arity, Internal_Relation_Symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object)? *** No > ; > > understands_internal_object(Subject, Time, 3, Arity, Internal_Relation_Symbol, Relation, A_Internal_Symbol, A_Object, B_Internal_Symbol, B_Object, C_Internal_Symbol, C_Object)? *** No > ; > > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > %% understands_object(Subject, Time, 0, Arity, Relation, A_Object, B_Object, C_Object)? > %% This is for type 0 > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > %% Simple query for this is: (and continued by semi-colons) > > > understands_object(Subject, Time, 0, Arity, Relation, A_Object, B_Object, C_Object)? *** Yes A_Object = cicero, Arity = 2, B_Object = cicero, C_Object = nop, Relation = denounced, Subject = tom, Time = now. --1> ; *** Yes A_Object = cicero, Arity = 2, B_Object = cicero, C_Object = nop, Relation = denounced, Subject = tom, Time = now. --1> ; *** Yes A_Object = cicero, Arity = 2, B_Object = cataline, C_Object = nop, Relation = denounced, Subject = tom, Time = now. --1> ; *** Yes A_Object = cicero, Arity = 2, B_Object = tom, C_Object = nop, Relation = denounced, Subject = tom, Time = now. --1> *** No > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > %% One can get all results with find_all - in this case there are fewer combinations. > > find_all([Subject, Time, 0, Arity, Relation, A_Object, B_Object, C_Object], understands_object(Subject, Time, 0, Arity, Relation, A_Object, B_Object, C_Object), L)? *** Yes A_Object = @, Arity = @, B_Object = @, C_Object = @, L = [[tom,now,0,2,denounced,cicero,cicero,nop], [tom,now,0,2,denounced,cicero,cicero,nop], [tom,now,0,2,denounced,cicero,cataline,nop], [tom,now,0,2,denounced,cicero,tom,nop], [tom,now,0,2,denounced,cicero,cicero,nop], [tom,now,0,2,denounced,cicero,cicero,nop], [tom,now,0,2,denounced,cicero,cataline,nop], [tom,now,0,2,denounced,cicero,tom,nop], [tom,now,0,2,denounced,cataline,cicero,nop], [tom,now,0,2,denounced,cataline,cicero,nop], [tom,now,0,2,denounced,cataline,cataline,nop], [tom,now,0,2,denounced,cataline,tom,nop], [tom,now,0,2,denounced,tom,cicero,nop], [tom,now,0,2,denounced,tom,cicero,nop], [tom,now,0,2,denounced,tom,cataline,nop], [tom,now,0,2,denounced,tom,tom,nop], [tom,now,0,1,human,cicero,nop,nop], [tom,now,0,1,human,cicero,nop,nop], [tom,now,0,1,human,cataline,nop,nop], [tom,now,0,1,human,tom,nop,nop], [tom,now,0,1,featherless_biped,cicero,nop,nop], [tom,now,0,1,featherless_biped,cicero,nop,nop], [tom,now,0,1,featherless_biped,cataline,nop,nop], [tom,now,0,1,featherless_biped,tom,nop,nop], [tom,now,0,1,american,cicero,nop,nop], [tom,now,0,1,american,cicero,nop,nop], [tom,now,0,1,american,cataline,nop,nop], [tom,now,0,1,american,tom,nop,nop], [tom,now,0,1,roman,cicero,nop,nop], [tom,now,0,1,roman,cicero,nop,nop], [tom,now,0,1,roman,cataline,nop,nop], [tom,now,0,1,roman,tom,nop,nop], [quine,now,0,2,denounced,cicero,cicero,nop], [quine,now,0,2,denounced,cicero,cicero,nop], [quine,now,0,2,denounced,cicero,cataline,nop], [quine,now,0,2,denounced,cicero,tom,nop], [quine,now,0,2,denounced,cicero,cicero,nop], [quine,now,0,2,denounced,cicero,cicero,nop], [quine,now,0,2,denounced,cicero,cataline,nop], [quine,now,0,2,denounced,cicero,tom,nop], [quine,now,0,2,denounced,cataline,cicero,nop], [quine,now,0,2,denounced,cataline,cicero,nop], [quine,now,0,2,denounced,cataline,cataline,nop], [quine,now,0,2,denounced,cataline,tom,nop], [quine,now,0,2,denounced,tom,cicero,nop], [quine,now,0,2,denounced,tom,cicero,nop], [quine,now,0,2,denounced,tom,cataline,nop], [quine,now,0,2,denounced,tom,tom,nop], [quine,now,0,1,human,cicero,nop,nop], [quine,now,0,1,human,cicero,nop,nop], [quine,now,0,1,human,cataline,nop,nop], [quine,now,0,1,human,tom,nop,nop], [quine,now,0,1,featherless_biped,cicero,nop,nop], [quine,now,0,1,featherless_biped,cicero,nop,nop], [quine,now,0,1,featherless_biped,cataline,nop,nop], [quine,now,0,1,featherless_biped,tom,nop,nop], [quine,now,0,1,american,cicero,nop,nop], [quine,now,0,1,american,cicero,nop,nop], [quine,now,0,1,american,cataline,nop,nop], [quine,now,0,1,american,tom,nop,nop], [quine,now,0,1,roman,cicero,nop,nop], [quine,now,0,1,roman,cicero,nop,nop], [quine,now,0,1,roman,cataline,nop,nop], [quine,now,0,1,roman,tom,nop,nop]], Relation = @, Subject = @, Time = @. --1> *** No > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > > > %% next follow higher types (no results). > > understands_object(Subject, Time, 1, Arity, Relation, A_Object, B_Object, C_Object)? *** No > ; > > understands_object(Subject, Time, 2, Arity, Relation, A_Object, B_Object, C_Object)? *** No > ; > > understands_object(Subject, Time, 3, Arity, Relation, A_Object, B_Object, C_Object)? *** No > ; > > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > > write_stats(Ignore)? I am not sure of units here Clock Time 1.48739 Seconds CPU Time 33.3333 Milliseconds *** Yes Ignore = @. --1> *** No > > > > halt?