|
|
Duration | 0.0 sec |
---|---|
Tests | 1 |
Failures | 0 |
Test case: | logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0001_Line_0015__What_is_a_peacock_c63_in_user: user:e2c('What is a peacock?') |
---|---|
Outcome: | Passed |
Duration: | 0.5 sec |
Failed | None |
None
name=Test_0001_Line_0015__What_is_a_peacock_c63_in_user JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['comprehension_01.pl']") ``` goal=user:e2c('What is a peacock?'). src='Metaphor_StandardOnly_Peacock.plt':15. url=Metaphor_StandardOnly_Peacock.plt#L15 time=0.45228052139282227. passed=passed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). result=passed.
Duration | 0.8 sec |
---|---|
Tests | 1 |
Failures | 0 |
Test case: | logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0002_Line_0000__What_is_a_peacock_c63_in_user: user:e2c('What is a peacock?') |
---|---|
Outcome: | Passed |
Duration: | 0.4 sec |
Failed | None |
None
name=Test_0002_Line_0000__What_is_a_peacock_c63_in_user JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['comprehension_01.pl']") ``` goal=user:e2c('What is a peacock?'). time=0.3789327144622803. passed=passed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). result=passed.
Duration | 0.9 sec |
---|---|
Tests | 1 |
Failures | 0 |
Test case: | logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0003_Line_0000__What_is_a_peacock_c63_in_user: user:e2c('What is a peacock?') |
---|---|
Outcome: | Passed |
Duration: | 0.4 sec |
Failed | None |
None
name=Test_0003_Line_0000__What_is_a_peacock_c63_in_user JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['comprehension_01.pl']") ``` Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system) %~ init_phase(after_load). %~ init_phase(restore_state). % %~ init_why(after_boot,program). %~ READONLY PACKAGES %~ READONLY PACKAGES %~ READONLY PACKAGES %~ after_boot. %~ Dont forget to ?- logicmoo_i_cyc_xform. %~ skipped(blocks_on_input,prolog). running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'), %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93 %~ this_test_might_need((:-expects_dialect(pfc))). %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96 %~ this_test_might_need((:-use_module(library(logicmoo_plarkc)))). test_here(X):- notrace(mpred_test(e2c(X))). /*~ No source location!? ~*/ test_convo_file(File):- atom_contains(File,'0'),!. /*~ No source location!? ~*/ test_convo_file(File):- open(File,read,IS), repeat, catch(read_term(IS,Term,[syntax_errors(error)]),_,fail), (Term == end_of_file -> close(IS) ; (ignore(test_convo_term(Term)),fail)). /*~ No source location!? ~*/ test_convo_term(X):- forall((sub_term(E,X),atomic(E),atom_contains(E,' '), %dont parse end comment (Yet) \+ atom_contains(E,'CasAm')), test_here(E)). /*~ No source location!? ~*/ :- prolog_load_context(directory,X), cd(X), expand_file_name('Meta*Peacock.plt',Files), maplist(test_convo_file,Files). % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.agi.agi_test.comprehension/COMPREHENSION_01/logicmoo_agi_agi_test_comprehension_COMPREHENSION_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ACOMPREHENSION_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/645 /*~ %~ Metaphor_StandardOnly_Peacock.plt:15 %~ ?-mpred_test("Test_0001_Line_0015__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0001_Line_0015__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0001_Line_0015_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0002_Line_0000__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehensi goal=user:e2c('What is a peacock?'). time=0.43685054779052734. passed=passed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). result=passed.
Duration | 1.4 sec |
---|---|
Tests | 1 |
Failures | 0 |
Test case: | logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0004_Line_0000__A_peacock_is_an_animal_in_user: user:e2c('a peacock is an animal') |
---|---|
Outcome: | Passed |
Duration: | 0.7 sec |
Failed | None |
None
name=Test_0004_Line_0000__A_peacock_is_an_animal_in_user JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['comprehension_01.pl']") ``` Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system) %~ init_phase(after_load). %~ init_phase(restore_state). % %~ init_why(after_boot,program). %~ READONLY PACKAGES %~ READONLY PACKAGES %~ READONLY PACKAGES %~ after_boot. %~ Dont forget to ?- logicmoo_i_cyc_xform. %~ skipped(blocks_on_input,prolog). running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'), %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93 %~ this_test_might_need((:-expects_dialect(pfc))). %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96 %~ this_test_might_need((:-use_module(library(logicmoo_plarkc)))). test_here(X):- notrace(mpred_test(e2c(X))). /*~ No source location!? ~*/ test_convo_file(File):- atom_contains(File,'0'),!. /*~ No source location!? ~*/ test_convo_file(File):- open(File,read,IS), repeat, catch(read_term(IS,Term,[syntax_errors(error)]),_,fail), (Term == end_of_file -> close(IS) ; (ignore(test_convo_term(Term)),fail)). /*~ No source location!? ~*/ test_convo_term(X):- forall((sub_term(E,X),atomic(E),atom_contains(E,' '), %dont parse end comment (Yet) \+ atom_contains(E,'CasAm')), test_here(E)). /*~ No source location!? ~*/ :- prolog_load_context(directory,X), cd(X), expand_file_name('Meta*Peacock.plt',Files), maplist(test_convo_file,Files). % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.agi.agi_test.comprehension/COMPREHENSION_01/logicmoo_agi_agi_test_comprehension_COMPREHENSION_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ACOMPREHENSION_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/645 /*~ %~ Metaphor_StandardOnly_Peacock.plt:15 %~ ?-mpred_test("Test_0001_Line_0015__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0001_Line_0015__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0001_Line_0015_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0002_Line_0000__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehensi goal=user:e2c('a peacock is an animal'). time=0.7337477207183838. passed=passed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock10,iza(Peacock10,'Animal')&iza(Peacock10,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). result=passed.
Duration | 1.3 sec |
---|---|
Tests | 1 |
Failures | 0 |
Test case: | logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0005_Line_0000__A_peacock_is_an_animal_in_user: user:e2c('a peacock is an animal') |
---|---|
Outcome: | Passed |
Duration: | 0.6 sec |
Failed | None |
None
name=Test_0005_Line_0000__A_peacock_is_an_animal_in_user JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['comprehension_01.pl']") ``` Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system) %~ init_phase(after_load). %~ init_phase(restore_state). % %~ init_why(after_boot,program). %~ READONLY PACKAGES %~ READONLY PACKAGES %~ READONLY PACKAGES %~ after_boot. %~ Dont forget to ?- logicmoo_i_cyc_xform. %~ skipped(blocks_on_input,prolog). running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'), %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93 %~ this_test_might_need((:-expects_dialect(pfc))). %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96 %~ this_test_might_need((:-use_module(library(logicmoo_plarkc)))). test_here(X):- notrace(mpred_test(e2c(X))). /*~ No source location!? ~*/ test_convo_file(File):- atom_contains(File,'0'),!. /*~ No source location!? ~*/ test_convo_file(File):- open(File,read,IS), repeat, catch(read_term(IS,Term,[syntax_errors(error)]),_,fail), (Term == end_of_file -> close(IS) ; (ignore(test_convo_term(Term)),fail)). /*~ No source location!? ~*/ test_convo_term(X):- forall((sub_term(E,X),atomic(E),atom_contains(E,' '), %dont parse end comment (Yet) \+ atom_contains(E,'CasAm')), test_here(E)). /*~ No source location!? ~*/ :- prolog_load_context(directory,X), cd(X), expand_file_name('Meta*Peacock.plt',Files), maplist(test_convo_file,Files). % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.agi.agi_test.comprehension/COMPREHENSION_01/logicmoo_agi_agi_test_comprehension_COMPREHENSION_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ACOMPREHENSION_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/645 /*~ %~ Metaphor_StandardOnly_Peacock.plt:15 %~ ?-mpred_test("Test_0001_Line_0015__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0001_Line_0015__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0001_Line_0015_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0002_Line_0000__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehensi goal=user:e2c('a peacock is an animal'). time=0.6419568061828613. passed=passed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock14,iza(Peacock14,'Animal')&iza(Peacock14,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). result=passed.
Duration | 1.2 sec |
---|---|
Tests | 1 |
Failures | 0 |
Test case: | logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0006_Line_0000__A_peacock_is_an_animal_in_user: user:e2c('a peacock is an animal') |
---|---|
Outcome: | Passed |
Duration: | 0.6 sec |
Failed | None |
None
name=Test_0006_Line_0000__A_peacock_is_an_animal_in_user JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['comprehension_01.pl']") ``` Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system) %~ init_phase(after_load). %~ init_phase(restore_state). % %~ init_why(after_boot,program). %~ READONLY PACKAGES %~ READONLY PACKAGES %~ READONLY PACKAGES %~ after_boot. %~ Dont forget to ?- logicmoo_i_cyc_xform. %~ skipped(blocks_on_input,prolog). running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'), %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93 %~ this_test_might_need((:-expects_dialect(pfc))). %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96 %~ this_test_might_need((:-use_module(library(logicmoo_plarkc)))). test_here(X):- notrace(mpred_test(e2c(X))). /*~ No source location!? ~*/ test_convo_file(File):- atom_contains(File,'0'),!. /*~ No source location!? ~*/ test_convo_file(File):- open(File,read,IS), repeat, catch(read_term(IS,Term,[syntax_errors(error)]),_,fail), (Term == end_of_file -> close(IS) ; (ignore(test_convo_term(Term)),fail)). /*~ No source location!? ~*/ test_convo_term(X):- forall((sub_term(E,X),atomic(E),atom_contains(E,' '), %dont parse end comment (Yet) \+ atom_contains(E,'CasAm')), test_here(E)). /*~ No source location!? ~*/ :- prolog_load_context(directory,X), cd(X), expand_file_name('Meta*Peacock.plt',Files), maplist(test_convo_file,Files). % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.agi.agi_test.comprehension/COMPREHENSION_01/logicmoo_agi_agi_test_comprehension_COMPREHENSION_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ACOMPREHENSION_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/645 /*~ %~ Metaphor_StandardOnly_Peacock.plt:15 %~ ?-mpred_test("Test_0001_Line_0015__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0001_Line_0015__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0001_Line_0015_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0002_Line_0000__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0002_Line_0000_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0003_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0003_Line_0000__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0003_Line_0000_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0004_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')). 0m1m97m40m?-e2c('a peacock is an animal') 49m0m21m0m36masserted( q(exists,Peacock8,iza(Peacock8,'Animal')&iza(Peacock8,'Peacock'))). 39mpassed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock10,iza(Peacock10,'Animal')&iza(Peacock10,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0004_Line_0000__A_peacock_is_an_animal_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0004_Line_0000_A_peacock_is_an_animal_in_user-junit.xml %~ ?-mpred_test("Test_0005_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')). 0m1m97m40m?-e2c('a peacock is an animal') 49m0m21m0m36masserted( q(exists,Peacock12,iza(Peacock12,'Animal')&iza(Peacock12,'Peacock'))). 39mpassed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock14,iza(Peacock14,'Animal')&iza(Peacock14,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0005_Line_0000__A_peacock_is_an_animal_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHEN goal=user:e2c('a peacock is an animal'). time=0.5872917175292969. passed=passed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock18,iza(Peacock18,'Animal')&iza(Peacock18,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). result=passed.
Duration | 1.2 sec |
---|---|
Tests | 1 |
Failures | 0 |
Test case: | logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0007_Line_0000__A_peacock_is_an_animal_in_user: user:e2c('a peacock is an animal') |
---|---|
Outcome: | Passed |
Duration: | 0.6 sec |
Failed | None |
None
name=Test_0007_Line_0000__A_peacock_is_an_animal_in_user JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['comprehension_01.pl']") ``` Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system) %~ init_phase(after_load). %~ init_phase(restore_state). % %~ init_why(after_boot,program). %~ READONLY PACKAGES %~ READONLY PACKAGES %~ READONLY PACKAGES %~ after_boot. %~ Dont forget to ?- logicmoo_i_cyc_xform. %~ skipped(blocks_on_input,prolog). running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'), %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93 %~ this_test_might_need((:-expects_dialect(pfc))). %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:96 %~ this_test_might_need((:-use_module(library(logicmoo_plarkc)))). test_here(X):- notrace(mpred_test(e2c(X))). /*~ No source location!? ~*/ test_convo_file(File):- atom_contains(File,'0'),!. /*~ No source location!? ~*/ test_convo_file(File):- open(File,read,IS), repeat, catch(read_term(IS,Term,[syntax_errors(error)]),_,fail), (Term == end_of_file -> close(IS) ; (ignore(test_convo_term(Term)),fail)). /*~ No source location!? ~*/ test_convo_term(X):- forall((sub_term(E,X),atomic(E),atom_contains(E,' '), %dont parse end comment (Yet) \+ atom_contains(E,'CasAm')), test_here(E)). /*~ No source location!? ~*/ :- prolog_load_context(directory,X), cd(X), expand_file_name('Meta*Peacock.plt',Files), maplist(test_convo_file,Files). % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.agi.agi_test.comprehension/COMPREHENSION_01/logicmoo_agi_agi_test_comprehension_COMPREHENSION_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ACOMPREHENSION_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/645 /*~ %~ Metaphor_StandardOnly_Peacock.plt:15 %~ ?-mpred_test("Test_0001_Line_0015__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0001_Line_0015__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0001_Line_0015_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0002_Line_0000__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0002_Line_0000_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0003_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0003_Line_0000__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0003_Line_0000_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0004_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')). 0m1m97m40m?-e2c('a peacock is an animal') 49m0m21m0m36masserted( q(exists,Peacock8,iza(Peacock8,'Animal')&iza(Peacock8,'Peacock'))). 39mpassed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock10,iza(Peacock10,'Animal')&iza(Peacock10,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0004_Line_0000__A_peacock_is_an_animal_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0004_Line_0000_A_peacock_is_an_animal_in_user-junit.xml %~ ?-mpred_test("Test_0005_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')). 0m1m97m40m?-e2c('a peacock is an animal') 49m0m21m0m36masserted( q(exists,Peacock12,iza(Peacock12,'Animal')&iza(Peacock12,'Peacock'))). 39mpassed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock14,iza(Peacock14,'Animal')&iza(Peacock14,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0005_Line_0000__A_peacock_is_an_animal_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHEN goal=user:e2c('a peacock is an animal'). time=0.6131763458251953. passed=passed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock22,iza(Peacock22,'Animal')&iza(Peacock22,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). result=passed.
Duration | 0.9 sec |
---|---|
Tests | 1 |
Failures | 0 |
Test case: | logicmoo.agi.agi_test.comprehension.COMPREHENSION_01@Test_0008_Line_0020__Is_Jim_a_peacock_c63_in_user: user:e2c('Is Jim a peacock?') |
---|---|
Outcome: | Passed |
Duration: | 0.5 sec |
Failed | None |
None
name=Test_0008_Line_0020__Is_Jim_a_peacock_c63_in_user JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. (cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys_new/logicmoo_agi/t/agi_tests/comprehension ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['comprehension_01.pl']") ``` Warning: import/1: parser_lexical_plkb:(cyc_lex/1) is not exported (still imported into system) %~ init_phase(after_load). %~ init_phase(restore_state). % %~ init_why(after_boot,program). %~ READONLY PACKAGES %~ READONLY PACKAGES %~ READONLY PACKAGES %~ after_boot. %~ Dont forget to ?- logicmoo_i_cyc_xform. running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys_new/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl'), %~ /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test_header.pl:93 %~ this_test_might_need((:-expects_dialect(pfc))). %~ this_test_might_need((:-use_module(library(logicmoo_plarkc)))). test_here(X):- notrace(mpred_test(e2c(X))). /*~ No source location!? ~*/ test_convo_file(File):- atom_contains(File,'0'),!. /*~ No source location!? ~*/ test_convo_file(File):- open(File,read,IS), repeat, catch(read_term(IS,Term,[syntax_errors(error)]),_,fail), (Term == end_of_file -> close(IS) ; (ignore(test_convo_term(Term)),fail)). /*~ No source location!? ~*/ test_convo_term(X):- forall((sub_term(E,X),atomic(E),atom_contains(E,' '), %dont parse end comment (Yet) \+ atom_contains(E,'CasAm')), test_here(E)). /*~ No source location!? ~*/ :- prolog_load_context(directory,X), cd(X), expand_file_name('Meta*Peacock.plt',Files), maplist(test_convo_file,Files). % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_agi/t/agi_tests/comprehension/comprehension_01.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.agi.agi_test.comprehension/COMPREHENSION_01/logicmoo_agi_agi_test_comprehension_COMPREHENSION_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ACOMPREHENSION_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/645 /*~ %~ ?-mpred_test("Test_0001_Line_0015__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0001_Line_0015__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0001_Line_0015_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0002_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0002_Line_0000__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0002_Line_0000_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0003_Line_0000__What_is_a_peacock_c63_in_user",user:e2c('What is a peacock?')). 0m1m97m40m?-e2c('What is a peacock?') 49m0m21m0m36masserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). 39mpassed=info(why_was_true(user:e2c('What is a peacock?'))) no_proof_for(e2c('What is a peacock?')). ?-e2c('What is a peacock?') asserted( exists( What, iza(What,'Peacock')&iza(What,tSomethingExisting)=>answer(What))). no_proof_for(e2c('What is a peacock?')). no_proof_for(e2c('What is a peacock?')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0003_Line_0000__What_is_a_peacock_c63_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0003_Line_0000_What_is_a_peacock_c63_in_user-junit.xml %~ ?-mpred_test("Test_0004_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')). 0m1m97m40m?-e2c('a peacock is an animal') 49m0m21m0m36masserted( q(exists,Peacock8,iza(Peacock8,'Animal')&iza(Peacock8,'Peacock'))). 39mpassed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock10,iza(Peacock10,'Animal')&iza(Peacock10,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0004_Line_0000__A_peacock_is_an_animal_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0004_Line_0000_A_peacock_is_an_animal_in_user-junit.xml %~ ?-mpred_test("Test_0005_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')). 0m1m97m40m?-e2c('a peacock is an animal') 49m0m21m0m36masserted( q(exists,Peacock12,iza(Peacock12,'Animal')&iza(Peacock12,'Peacock'))). 39mpassed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock14,iza(Peacock14,'Animal')&iza(Peacock14,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0005_Line_0000__A_peacock_is_an_animal_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0005_Line_0000_A_peacock_is_an_animal_in_user-junit.xml %~ ?-mpred_test("Test_0006_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')). 0m1m97m40m?-e2c('a peacock is an animal') 49m0m21m0m36masserted( q(exists,Peacock16,iza(Peacock16,'Animal')&iza(Peacock16,'Peacock'))). 39mpassed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock18,iza(Peacock18,'Animal')&iza(Peacock18,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0006_Line_0000__A_peacock_is_an_animal_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0006_Line_0000_A_peacock_is_an_animal_in_user-junit.xml %~ ?-mpred_test("Test_0007_Line_0000__A_peacock_is_an_animal_in_user",user:e2c('a peacock is an animal')). 0m1m97m40m?-e2c('a peacock is an animal') 49m0m21m0m36masserted( q(exists,Peacock20,iza(Peacock20,'Animal')&iza(Peacock20,'Peacock'))). 39mpassed=info(why_was_true(user:e2c('a peacock is an animal'))) no_proof_for(e2c('a peacock is an animal')). ?-e2c('a peacock is an animal') asserted(q(exists,Peacock22,iza(Peacock22,'Animal')&iza(Peacock22,'Peacock'))). no_proof_for(e2c('a peacock is an animal')). no_proof_for(e2c('a peacock is an animal')). name='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01-Test_0007_Line_0000__A_peacock_is_an_animal_in_user'. JUNIT_CLASSNAME='logicmoo.agi.agi_test.comprehension.COMPREHENSION_01'. JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'comprehension_01.pl\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-agi-agi_test-comprehension-vSTARv_01vSTARvvDOTvpl-Units-Logicmoo_agi_agi_test_comprehension_COMPREHENSION_01_Test_0007_Line_0000_A_peacock_is_an_animal_in_user-junit.xml %~ ?-mpred_test("Test_0008_Line_0020__Is_Jim_a_peacock_c63_in_user",user:e2c('Is Jim a peacock?')). 0m1m97m40m?-e2c('Is Jim a peacock?') 49m0m21m0m36masserted( warn( unparsed( ask, [ w( is, [ pos(vbz), root(be),loc(1),lnks(2),txt("Is"), truecase('INIT_UPPER'),link(1,'S',r('S',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(vbz),tense(present),dep_child(root,n(is,1)), dep_child(nsubj,n(jim,2)),dep_child(attr,n(peacock,4)), dep_child(punct,n(?,5)),dep_parent(root,n(is,1)), node(n(is,1)),flair,upos(verb),fner(o), fn('be.01')]), w( jim, [ pos(nnp), root('Jim'),loc(2),lnks(3),txt("Jim"), ner('PERSON'),truecase('INIT_UPPER'),corefed, #(1),txt(["Jim"]),type('PROPER'), numb('SINGULAR'),gender('MALE'),animacy('ANIMATE'), repm(@(true)),link(1,'NP',r('NP',seg(2,2))), link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(nnp),form(sg),dep_parent(nsubj,n(is,1)), node(n(jim,2)),flair,upos(propn), fner('s-per'),fn('_')]), w( a, [ pos(dt), root(a),loc(3),lnks(3),txt("a"), truecase('LOWER'),link(1,'NP',r('NP',seg(3,4))), link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(dt),dep_parent(det,n(peacock,4)),node(n(a,3)), flair,upos(det),fner(o),fn('_')]), w( peacock, [ pos(nn), root(peacock),loc(4),lnks(3),txt("peacock"), truecase('INIT_UPPER'),link(1,'NP',r('NP',seg(3,4))), link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(nn),form(sg),dep_child(det,n(a,3)), dep_parent(attr,n(is,1)),node(n(peacock,4)),flair, upos(noun),fner(o),fn('_')]), w( ?, [ pos('.'), root(?),loc(5),lnks(2),txt("?"), link(1,'S',r('S',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos('.'),dep_parent(punct,n(is,1)),node(n(?,5)), flair,upos(punct),fner(o),fn('_')])]))). 39mpassed=info(why_was_true(user:e2c('Is Jim a peacock?'))) no_proof_for(e2c('Is Jim a peacock?')). ?-e2c('Is Jim a peacock?') asserted( warn( unparsed( ask, [ w( is, [ pos(vbz), root(be),loc(1),lnks(2),txt("Is"), truecase('INIT_UPPER'),link(1,'S',r('S',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(vbz),tense(present),dep_child(root,n(is,1)), dep_child(nsubj,n(jim,2)),dep_child(attr,n(peacock,4)), dep_child(punct,n(?,5)),dep_parent(root,n(is,1)), node(n(is,1)),flair,upos(verb),fner(o), fn('be.01')]), w( jim, [ pos(nnp), root('Jim'),loc(2),lnks(3),txt("Jim"), ner('PERSON'),truecase('INIT_UPPER'),corefed, #(1),txt(["Jim"]),type('PROPER'), numb('SINGULAR'),gender('MALE'),animacy('ANIMATE'), repm(@(true)),link(1,'NP',r('NP',seg(2,2))), link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(nnp),form(sg),dep_parent(nsubj,n(is,1)), node(n(jim,2)),flair,upos(propn), fner('s-per'),fn('_')]), w( a, [ pos(dt), root(a),loc(3),lnks(3),txt("a"), truecase('LOWER'),link(1,'NP',r('NP',seg(3,4))), link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(dt),dep_parent(det,n(peacock,4)),node(n(a,3)), flair,upos(det),fner(o),fn('_')]), w( peacock, [ pos(nn), root(peacock),loc(4),lnks(3),txt("peacock"), truecase('INIT_UPPER'),link(1,'NP',r('NP',seg(3,4))), link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(nn),form(sg),dep_child(det,n(a,3)), dep_parent(attr,n(is,1)),node(n(peacock,4)),flair, upos(noun),fner(o),fn('_')]), w( ?, [ pos('.'), root(?),loc(5),lnks(2),txt("?"), link(1,'S',r('S',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos('.'),dep_parent(punct,n(is,1)),node(n(?,5)), goal=user:e2c('Is Jim a peacock?'). src='Metaphor_StandardOnly_Peacock.plt':20. url=Metaphor_StandardOnly_Peacock.plt#L20 time=0.4505574703216553. passed=passed=info(why_was_true(user:e2c('Is Jim a peacock?'))) no_proof_for(e2c('Is Jim a peacock?')). ?-e2c('Is Jim a peacock?') asserted( warn( unparsed( ask, [ w( is, [ pos(vbz), root(be),loc(1),lnks(2),txt("Is"), truecase('INIT_UPPER'),link(1,'S',r('S',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(vbz),tense(present),dep_child(root,n(is,1)), dep_child(nsubj,n(jim,2)),dep_child(attr,n(peacock,4)), dep_child(punct,n(?,5)),dep_parent(root,n(is,1)), node(n(is,1)),flair,upos(verb),fner(o), fn('be.01')]), w( jim, [ pos(nnp), root('Jim'),loc(2),lnks(3),txt("Jim"), ner('PERSON'),truecase('INIT_UPPER'),corefed, #(1),txt(["Jim"]),type('PROPER'), numb('SINGULAR'),gender('MALE'),animacy('ANIMATE'), repm(@(true)),link(1,'NP',r('NP',seg(2,2))), link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(nnp),form(sg),dep_parent(nsubj,n(is,1)), node(n(jim,2)),flair,upos(propn), fner('s-per'),fn('_')]), w( a, [ pos(dt), root(a),loc(3),lnks(3),txt("a"), truecase('LOWER'),link(1,'NP',r('NP',seg(3,4))), link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(dt),dep_parent(det,n(peacock,4)),node(n(a,3)), flair,upos(det),fner(o),fn('_')]), w( peacock, [ pos(nn), root(peacock),loc(4),lnks(3),txt("peacock"), truecase('INIT_UPPER'),link(1,'NP',r('NP',seg(3,4))), link(2,'S',r('S',seg(1,5))), link(3,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos(nn),form(sg),dep_child(det,n(a,3)), dep_parent(attr,n(is,1)),node(n(peacock,4)),flair, upos(noun),fner(o),fn('_')]), w( ?, [ pos('.'), root(?),loc(5),lnks(2),txt("?"), link(1,'S',r('S',seg(1,5))), link(2,'CORENLP',r('CORENLP',seg(1,5))),spacy, spos('.'),dep_parent(punct,n(is,1)),node(n(?,5)), flair,upos(punct),fner(o),fn('_')])]))). no_proof_for(e2c('Is Jim a peacock?')). no_proof_for(e2c('Is Jim a peacock?')). result=passed.