/* Prolog database for use with predicates to simulate Dennis J. Darlands philosophy. */
/* Written 6/14/2007 */
/* Revised 12/26/2009 adding perception */
/* mydb6.pl */
/* symbol0s are nouns */

symbol0_r(tom,'cicero_n','cicero',now).
symbol0_r(tom,'cataline_n','cataline',now).
symbol0_r(tom,'tully_n','tully',now).
symbol0_r(tom,'cicero',cicero,now).
symbol0_r(tom,'cataline',cataline,now).
symbol0_r(tom,'tully',brutus,now).
symbol0_r(tom,'tom',tom,now).
symbol0_r(tom,'tom_n','tom',now).
/* symbol1s are verbs */
symbol1_r(tom,'denounced',denounced,now).
symbol1_r(tom,'not_denounced',not_denounced,now).
symbol1_r(tom,'human',human,now).
symbol1_r(tom,'featherless_biped',featherless_biped,now).
symbol1_r(tom,'american',american,now).
symbol1_r(tom,'roman',roman,now).
symbol1_r(tom,'symbol0_r',symbol0_r,now).
symbol1_r(tom,'symbol1_r',symbol1_r,now).
symbol1_r(tom,'member_of',member_of,now).
symbol1_r(tom,'tom_believes_now',tom_believes_now,now).

/* added for testing on perception predicates 1/19/2010 */
experiences(tom,now,toms_sense_data).
experiences(harry,now,harrys_sense_data).

sub_sd_object(toms_sense_data, toms_sns_circle ).
sub_sd_object(toms_sense_data, toms_sns_square ).
sub_sd_object(harrys_sense_data, harrys_sns_circle ).
sub_sd_object(harrys_sense_data, harrys_sns_triangle ).

perceptual_obj_relation(toms_sns_circle, circularity).
perceptual_obj_relation(toms_sns_square, squareness).
perceptual_obj_relation(harrys_sns_circle, circularity).
perceptual_obj_relation(harrys_sns_triangle, triangularity).

perceptual_pred_relation(toms_sns_red, red).
perceptual_pred_relation(toms_sns_blue, blue).
perceptual_pred_relation(harrys_sns_red, red).
perceptual_pred_relation(harrys_sns_green, green).

toms_sns_red(toms_sns_circle).
toms_sns_blue(toms_sns_square).
harrys_sns_red(harrys_sns_circle).
harrys_sns_green(harrys_sns_triangle).

normal_obj_conditions(circularity, circular_object).

normal_pred_conditions(red, redness).

toms_sns_red(toms_sns_circle).
harrys_sns_red(harrys_sns_circle).

red(circularity).

phys_pred(redness).

phys_obj(circular_object).

/* causes stack trouble
symbol1_r(tom,'not_member_of_self',not_member_of_self,now).
*/
/*
symbol1_r(tom,'true_of_class',true_of_class,now).
*/
symbol1_r(tom,'belief',belief,now).
/* predicative functions */
predicative('denounced',denounced).
predicative('not_denounced',not_denounced).
predicative('human',human).
predicative('featherless_biped',featherless_biped).
predicative('american',american).
predicative('roman',roman).
predicative('symbol0_r',symbol0_r).
predicative('symbol1_r',symbol1_r).
predicative('tom_pred',tom_pred).
predicative('tom_pred2',tom_pred2).
/* beliefs */
belief(tom,'symbol1_r','tom','denounced_n','denounced',now).
belief(tom,'symbol1_r','tom','not_denounced_n','not_denounced',now).
belief(tom,'symbol0_r','tom','cicero_n','cicero',now).
belief(tom,'symbol0_r','tom','cataline_n','cataline',now).
belief(tom,'symbol0_r','tom','tully_n','tully',now).
belief(tom,'denounced','cicero','cataline',now).
belief(tom,'not_denounced','tully','cataline',now).
belief(tom,'human','tom',now).
belief(tom,'human','cicero',now).
belief(tom,'human','cataline',now).
belief(tom,'human','tully',now).
belief(tom,'featherless_biped','cicero',now).
/* assertions */
/* prolog croaks if there are no facts so 'no' does not count */
tom_believes_now(no).
tom_believes_now(no,no,no).
tom_believes_now(no,no,no,no).
tom_believes_now(no,no,no,no,no).
tom_pred(no).
tom_pred(no,no,no).
tom_pred(no,no,no,no).
tom_pred(no,no,no,no,no).
tom_pred2(no).
tom_pred2(no,no,no).
tom_pred2(no,no,no,no).
tom_pred2(no,no,no,no,no).
denounced(no).
not_denounced(no).
symbol0_r(no).
symbol1_r(no).
member_of(no).
not_member_of_self(no).
denounced(no,no).
not_denounced(no,no).
symbol0_r(no,no).
symbol1_r(no,no).
human(no,no).
featherless_biped(no,no).
american(no,no).
roman(no,no).
not_member_of_self(no,no).
true_of_class(no).
true_of_class(no,no).
not_denounced(no,no,no).
denounced(no,no,no,no).
not_denounced(no,no,no,no).
symbol0_r(no,no,no).
symbol1_r(no,no,no).
human(no,no,no).
featherless_biped(no,no,no).
american(no,no,no).
roman(no,no,no).
member_of(no,no,no).
not_member_of_self(no,no,no).
human(no,no,no,no).
featherless_biped(no,no,no,no).
american(no,no,no,no).
roman(no,no,no,no).
member_of(no,no,no,no).
not_member_of_self(no,no,no,no).
true_of_class(no,no,no,no).
denounced(no,no,no,no,no).
not_denounced(no,no,no,no,no).
denounced(no).
not_denounced(no).
human(no,no,no,no,no).
featherless_biped(no,no,no,no,no).
american(no,no,no,no,no).
roman(no,no,no,no,no).
member_of(no,no,no,no,no).
not_member_of_self(no,no,no,no,no).
true_of_class(no,no,no,no,no).
symbol0_r(no,no,no,no,no).
symbol1_r(no,no,no,no,no).
symbol0_r(no).
symbol1_r(no).
member_of(no).
not_member_of_self(no).
belief(no).
belief(no,no).
belief(no,no,no).
denounced(cicero,cataline,then).
human(tom).
human(cicero).
human(cataline).
human(tully).
featherless_biped(tom).
featherless_biped(cicero).
featherless_biped(cataline).
featherless_biped(tully).
american(tom).
roman(cicero).
roman(cataline).
roman(tully).
roman(brutus).
tom_pred('human','tom').
tom_pred('human','cicero').
tom_pred('human','cataline').
tom_pred('human','tully').
tom_pred2('featherless_biped','tom').
tom_pred2('featherless_biped','cicero').
tom_pred2('featherless_biped','cataline').
tom_pred2('featherless_biped','tully').