More in Prolog

By Dennis J. Darland

June 12, 2007

The Facts

/* Prolog database for use with predicates to simulate Dennis J. Darland's philosophy. */

/* Written 6/12/2007 */

/* mydb2.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,'symbol1_r',symbol1_r,now).

symbol1_r(tom,'symbol0_r',symbol0_r,now).

/* beliefs */

belief_r(tom,'symbol1_r','tom','denounced_n','denounced',now).

belief_r(tom,'symbol1_r','tom','not_denounced_n','not_denounced',now).

belief_r(tom,'symbol0_r','tom','cicero_n','cicero',now).

belief_r(tom,'symbol0_r','tom','cataline_n','cataline',now).

belief_r(tom,'symbol0_r','tom','tully_n','tully',now).

belief_r(tom,'denounced','cicero','cataline',now).

belief_r(tom,'not_denounced','tully','cataline',now).

/* assertions */

denounced(cicero,cataline,then).

not_denounced(x,x,x).

denounced(x,x,x,x).

not_denounced(x,x,x,x).

symbol0_r(x,x,x).

symbol1_r(x,x,x).

The Definitions

/* Prolog predicates to simulate Dennis J. Darland's philosophy. */

/* Written 6/12/2007 */

/* myphil.pl */

understand(S,R,A,B,T) :-  symbol1_r(S,W,R,T) ,symbol0_r(S,X,A,T) ,symbol0_r(S,Y,B,T).

understand(S,R,A,B,C,T) :-  symbol1_r(S,W,R,T) ,symbol0_r(S,X,A,T) ,symbol0_r(S,Y,B,T),symbol0_r(S,Z,C,T).

logical_form(RF,W,X,Y) :- RF == 'r(a,b)', symbol1_r(S,W,R,T), symbol0_r(S,X,A,T), symbol0_r(S,Y,B,T).

belief(S,R,A,B,T) :- belief_r(S,W,X,Y,T) , symbol1_r(S,W,R,T) ,symbol0_r(S,X,A,T) ,symbol0_r(S,Y,B,T).

belief(S,R,A,B,C,T) :- belief_r(S,W,X,Y,Z,T) , symbol1_r(S,W,R,T) ,symbol0_r(S,X,A,T) ,symbol0_r(S,Y,B,T) ,symbol0_r(S,Z,C,T).

proposition(R,A,B) :- understand(S,R,A,B,T).

proposition(R,A,B,C) :- understand(S,R,A,B,C,T).

true_proposition(R,A,B,T) :- proposition(R,A,B) , apply(R,[A,B,T]).

true_proposition(R,A,B,C,T) :- proposition(R,A,B,C) , apply(R,[A,B,C,T]).

/* T1 is time of belief T2 is time it is believed to be true */

true_belief(S,R,A,B,T1,T2) :- belief(S,R,A,B,T1) , apply(R,[A,B,T2]).

true_belief(S,R,A,B,C,T1,T2) :- belief(S,R,A,B,C,T1) , apply(R,[A,B,C,T2]).

symbol0(X) :- symbol0_r(S,X,A,T).

symbol1(X) :- symbol1_r(S,X,A,T).

name_1(W) :- belief_r(S,W,X,Y,T).

name_1(X) :- belief_r(S,W,X,Y,T).

name_1(Y) :- belief_r(S,W,X,Y,T).

name_1(W) :- belief_r(S,W,X,Y,Z,T).

name_1(X) :- belief_r(S,W,X,Y,Z,T).

name_1(Y) :- belief_r(S,W,X,Y,Z,T).

name_1(Z) :- belief_r(S,W,X,Y,Z,T).

The Transcript

?- [mydb2,myphil].

% mydb2 compiled 0.00 sec, 4,156 bytes

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:5):

                Singleton variables: [W, X, Y]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:7):

                Singleton variables: [W, X, Y, Z]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:9):

                Singleton variables: [R, A, B]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:15):

                Singleton variables: [S, T]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:16):

                Singleton variables: [S, T]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:24):

                Singleton variables: [S, A, T]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:26):

                Singleton variables: [S, A, T]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:28):

                Singleton variables: [S, X, Y, T]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:30):

                Singleton variables: [S, W, Y, T]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:32):

                Singleton variables: [S, W, X, T]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:34):

                Singleton variables: [S, X, Y, Z, T]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:36):

                Singleton variables: [S, W, Y, Z, T]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:38):

                Singleton variables: [S, W, X, Z, T]

Warning: (/cygdrive/c/Users/Dennis/src/mine/myphil/myphil.pl:40):

                Singleton variables: [S, W, X, Y, T]

% myphil compiled 0.00 sec, 4,752 bytes

Yes

?- name_1(A).

A = denounced ;

A = not_denounced ;

A = cicero ;

A = tully ;

A = cataline ;

A = cataline ;

A = symbol1_r ;

A = symbol1_r ;

A = symbol0_r ;

A = symbol0_r ;

A = symbol0_r ;

A = tom ;

A = tom ;

A = tom ;

A = tom ;

A = tom ;

A = denounced_n ;

A = not_denounced_n ;

A = cicero_n ;

A = cataline_n ;

A = tully_n ;

A = denounced ;

A = not_denounced ;

A = cicero ;

A = cataline ;

A = tully ;

No

?- symbol0(A).

A = cicero_n ;

A = cataline_n ;

A = tully_n ;

A = cicero ;

A = cataline ;

A = tully ;

A = tom ;

A = tom_n ;

No

?- symbol1(A).

A = denounced ;

A = not_denounced ;

A = symbol1_r ;

A = symbol0_r ;

No

?- proposition(R,A,B).

R = denounced

A = cicero

B = cicero ;

R = denounced

A = cicero

B = cataline ;

R = denounced

A = cicero

B = tully ;

R = denounced

A = cicero

B = cicero ;

R = denounced

A = cicero

B = cataline ;

R = denounced

A = cicero

B = brutus ;

R = denounced

A = cicero

B = tom ;

R = denounced

A = cicero

B = tom ;

R = denounced

A = cataline

B = cicero ;

R = denounced

A = cataline

B = cataline ;

R = denounced

A = cataline

B = tully ;

R = denounced

A = cataline

B = cicero ;

R = denounced

A = cataline

B = cataline ;

R = denounced

A = cataline

B = brutus ;

R = denounced

A = cataline

B = tom ;

R = denounced

A = cataline

B = tom ;

R = denounced

A = tully

B = cicero ;

R = denounced

A = tully

B = cataline ;

R = denounced

A = tully

B = tully ;

R = denounced

A = tully

B = cicero ;

R = denounced

A = tully

B = cataline ;

R = denounced

A = tully

B = brutus ;

R = denounced

A = tully

B = tom ;

R = denounced

A = tully

B = tom ;

R = denounced

A = cicero

B = cicero ;

R = denounced

A = cicero

B = cataline ;

R = denounced

A = cicero

B = tully ;

R = denounced

A = cicero

B = cicero ;

R = denounced

A = cicero

B = cataline ;

R = denounced

A = cicero

B = brutus ;

R = denounced

A = cicero

B = tom ;

R = denounced

A = cicero

B = tom ;

R = denounced

A = cataline

B = cicero ;

R = denounced

A = cataline

B = cataline ;

R = denounced

A = cataline

B = tully ;

R = denounced

A = cataline

B = cicero ;

R = denounced

A = cataline

B = cataline ;

R = denounced

A = cataline

B = brutus ;

R = denounced

A = cataline

B = tom ;

R = denounced

A = cataline

B = tom ;

R = denounced

A = brutus

B = cicero ;

R = denounced

A = brutus

B = cataline ;

R = denounced

A = brutus

B = tully ;

R = denounced

A = brutus

B = cicero ;

R = denounced

A = brutus

B = cataline ;

R = denounced

A = brutus

B = brutus ;

R = denounced

A = brutus

B = tom ;

R = denounced

A = brutus

B = tom ;

R = denounced

A = tom

B = cicero ;

R = denounced

A = tom

B = cataline ;

R = denounced

A = tom

B = tully ;

R = denounced

A = tom

B = cicero ;

R = denounced

A = tom

B = cataline ;

R = denounced

A = tom

B = brutus ;

R = denounced

A = tom

B = tom ;

R = denounced

A = tom

B = tom ;

R = denounced

A = tom

B = cicero ;

R = denounced

A = tom

B = cataline ;

R = denounced

A = tom

B = tully ;

R = denounced

A = tom

B = cicero ;

R = denounced

A = tom

B = cataline ;

R = denounced

A = tom

B = brutus ;

R = denounced

A = tom

B = tom ;

R = denounced

A = tom

B = tom ;

R = not_denounced

A = cicero

B = cicero ;

R = not_denounced

A = cicero

B = cataline ;

R = not_denounced

A = cicero

B = tully ;

R = not_denounced

A = cicero

B = cicero ;

R = not_denounced

A = cicero

B = cataline ;

R = not_denounced

A = cicero

B = brutus ;

R = not_denounced

A = cicero

B = tom ;

R = not_denounced

A = cicero

B = tom ;

R = not_denounced

A = cataline

B = cicero ;

R = not_denounced

A = cataline

B = cataline ;

R = not_denounced

A = cataline

B = tully ;

R = not_denounced

A = cataline

B = cicero ;

R = not_denounced

A = cataline

B = cataline ;

R = not_denounced

A = cataline

B = brutus ;

R = not_denounced

A = cataline

B = tom ;

R = not_denounced

A = cataline

B = tom ;

R = not_denounced

A = tully

B = cicero ;

R = not_denounced

A = tully

B = cataline ;

R = not_denounced

A = tully

B = tully ;

R = not_denounced

A = tully

B = cicero ;

R = not_denounced

A = tully

B = cataline ;

R = not_denounced

A = tully

B = brutus ;

R = not_denounced

A = tully

B = tom ;

R = not_denounced

A = tully

B = tom ;

R = not_denounced

A = cicero

B = cicero ;

R = not_denounced

A = cicero

B = cataline ;

R = not_denounced

A = cicero

B = tully ;

R = not_denounced

A = cicero

B = cicero ;

R = not_denounced

A = cicero

B = cataline ;

R = not_denounced

A = cicero

B = brutus ;

R = not_denounced

A = cicero

B = tom ;

R = not_denounced

A = cicero

B = tom ;

R = not_denounced

A = cataline

B = cicero ;

R = not_denounced

A = cataline

B = cataline ;

R = not_denounced

A = cataline

B = tully ;

R = not_denounced

A = cataline

B = cicero ;

R = not_denounced

A = cataline

B = cataline ;

R = not_denounced

A = cataline

B = brutus ;

R = not_denounced

A = cataline

B = tom ;

R = not_denounced

A = cataline

B = tom ;

R = not_denounced

A = brutus

B = cicero ;

R = not_denounced

A = brutus

B = cataline ;

R = not_denounced

A = brutus

B = tully ;

R = not_denounced

A = brutus

B = cicero ;

R = not_denounced

A = brutus

B = cataline ;

R = not_denounced

A = brutus

B = brutus ;

R = not_denounced

A = brutus

B = tom ;

R = not_denounced

A = brutus

B = tom ;

R = not_denounced

A = tom

B = cicero ;

R = not_denounced

A = tom

B = cataline ;

R = not_denounced

A = tom

B = tully ;

R = not_denounced

A = tom

B = cicero ;

R = not_denounced

A = tom

B = cataline ;

R = not_denounced

A = tom

B = brutus ;

R = not_denounced

A = tom

B = tom ;

R = not_denounced

A = tom

B = tom ;

R = not_denounced

A = tom

B = cicero ;

R = not_denounced

A = tom

B = cataline ;

R = not_denounced

A = tom

B = tully ;

R = not_denounced

A = tom

B = cicero ;

R = not_denounced

A = tom

B = cataline ;

R = not_denounced

A = tom

B = brutus ;

R = not_denounced

A = tom

B = tom ;

R = not_denounced

A = tom

B = tom ;

R = symbol1_r

A = cicero

B = cicero ;

R = symbol1_r

A = cicero

B = cataline ;

R = symbol1_r

A = cicero

B = tully ;

R = symbol1_r

A = cicero

B = cicero ;

R = symbol1_r

A = cicero

B = cataline ;

R = symbol1_r

A = cicero

B = brutus ;

R = symbol1_r

A = cicero

B = tom ;

R = symbol1_r

A = cicero

B = tom ;

R = symbol1_r

A = cataline

B = cicero ;

R = symbol1_r

A = cataline

B = cataline ;

R = symbol1_r

A = cataline

B = tully ;

R = symbol1_r

A = cataline

B = cicero ;

R = symbol1_r

A = cataline

B = cataline ;

R = symbol1_r

A = cataline

B = brutus ;

R = symbol1_r

A = cataline

B = tom ;

R = symbol1_r

A = cataline

B = tom ;

R = symbol1_r

A = tully

B = cicero ;

R = symbol1_r

A = tully

B = cataline ;

R = symbol1_r

A = tully

B = tully ;

R = symbol1_r

A = tully

B = cicero ;

R = symbol1_r

A = tully

B = cataline ;

R = symbol1_r

A = tully

B = brutus ;

R = symbol1_r

A = tully

B = tom ;

R = symbol1_r

A = tully

B = tom ;

R = symbol1_r

A = cicero

B = cicero ;

R = symbol1_r

A = cicero

B = cataline ;

R = symbol1_r

A = cicero

B = tully ;

R = symbol1_r

A = cicero

B = cicero ;

R = symbol1_r

A = cicero

B = cataline ;

R = symbol1_r

A = cicero

B = brutus ;

R = symbol1_r

A = cicero

B = tom ;

R = symbol1_r

A = cicero

B = tom ;

R = symbol1_r

A = cataline

B = cicero ;

R = symbol1_r

A = cataline

B = cataline ;

R = symbol1_r

A = cataline

B = tully ;

R = symbol1_r

A = cataline

B = cicero ;

R = symbol1_r

A = cataline

B = cataline ;

R = symbol1_r

A = cataline

B = brutus ;

R = symbol1_r

A = cataline

B = tom ;

R = symbol1_r

A = cataline

B = tom ;

R = symbol1_r

A = brutus

B = cicero ;

R = symbol1_r

A = brutus

B = cataline ;

R = symbol1_r

A = brutus

B = tully ;

R = symbol1_r

A = brutus

B = cicero ;

R = symbol1_r

A = brutus

B = cataline ;

R = symbol1_r

A = brutus

B = brutus ;

R = symbol1_r

A = brutus

B = tom ;

R = symbol1_r

A = brutus

B = tom ;

R = symbol1_r

A = tom

B = cicero ;

R = symbol1_r

A = tom

B = cataline ;

R = symbol1_r

A = tom

B = tully ;

R = symbol1_r

A = tom

B = cicero ;

R = symbol1_r

A = tom

B = cataline ;

R = symbol1_r

A = tom

B = brutus ;

R = symbol1_r

A = tom

B = tom ;

R = symbol1_r

A = tom

B = tom ;

R = symbol1_r

A = tom

B = cicero ;

R = symbol1_r

A = tom

B = cataline ;

R = symbol1_r

A = tom

B = tully ;

R = symbol1_r

A = tom

B = cicero ;

R = symbol1_r

A = tom

B = cataline ;

R = symbol1_r

A = tom

B = brutus ;

R = symbol1_r

A = tom

B = tom ;

R = symbol1_r

A = tom

B = tom ;

R = symbol0_r

A = cicero

B = cicero ;

R = symbol0_r

A = cicero

B = cataline ;

R = symbol0_r

A = cicero

B = tully ;

R = symbol0_r

A = cicero

B = cicero ;

R = symbol0_r

A = cicero

B = cataline ;

R = symbol0_r

A = cicero

B = brutus ;

R = symbol0_r

A = cicero

B = tom ;

R = symbol0_r

A = cicero

B = tom ;

R = symbol0_r

A = cataline

B = cicero ;

R = symbol0_r

A = cataline

B = cataline ;

R = symbol0_r

A = cataline

B = tully ;

R = symbol0_r

A = cataline

B = cicero ;

R = symbol0_r

A = cataline

B = cataline ;

R = symbol0_r

A = cataline

B = brutus ;

R = symbol0_r

A = cataline

B = tom ;

R = symbol0_r

A = cataline

B = tom ;

R = symbol0_r

A = tully

B = cicero ;

R = symbol0_r

A = tully

B = cataline ;

R = symbol0_r

A = tully

B = tully ;

R = symbol0_r

A = tully

B = cicero ;

R = symbol0_r

A = tully

B = cataline ;

R = symbol0_r

A = tully

B = brutus ;

R = symbol0_r

A = tully

B = tom ;

R = symbol0_r

A = tully

B = tom ;

R = symbol0_r

A = cicero

B = cicero ;

R = symbol0_r

A = cicero

B = cataline ;

R = symbol0_r

A = cicero

B = tully ;

R = symbol0_r

A = cicero

B = cicero ;

R = symbol0_r

A = cicero

B = cataline ;

R = symbol0_r

A = cicero

B = brutus ;

R = symbol0_r

A = cicero

B = tom ;

R = symbol0_r

A = cicero

B = tom ;

R = symbol0_r

A = cataline

B = cicero ;

R = symbol0_r

A = cataline

B = cataline ;

R = symbol0_r

A = cataline

B = tully ;

R = symbol0_r

A = cataline

B = cicero ;

R = symbol0_r

A = cataline

B = cataline ;

R = symbol0_r

A = cataline

B = brutus ;

R = symbol0_r

A = cataline

B = tom ;

R = symbol0_r

A = cataline

B = tom ;

R = symbol0_r

A = brutus

B = cicero ;

R = symbol0_r

A = brutus

B = cataline ;

R = symbol0_r

A = brutus

B = tully ;

R = symbol0_r

A = brutus

B = cicero ;

R = symbol0_r

A = brutus

B = cataline ;

R = symbol0_r

A = brutus

B = brutus ;

R = symbol0_r

A = brutus

B = tom ;

R = symbol0_r

A = brutus

B = tom ;

R = symbol0_r

A = tom

B = cicero ;

R = symbol0_r

A = tom

B = cataline ;

R = symbol0_r

A = tom

B = tully ;

R = symbol0_r

A = tom

B = cicero ;

R = symbol0_r

A = tom

B = cataline ;

R = symbol0_r

A = tom

B = brutus ;

R = symbol0_r

A = tom

B = tom ;

R = symbol0_r

A = tom

B = tom ;

R = symbol0_r

A = tom

B = cicero ;

R = symbol0_r

A = tom

B = cataline ;

R = symbol0_r

A = tom

B = tully ;

R = symbol0_r

A = tom

B = cicero ;

R = symbol0_r

A = tom

B = cataline ;

R = symbol0_r

A = tom

B = brutus ;

R = symbol0_r

A = tom

B = tom ;

R = symbol0_r

A = tom

B = tom ;

No

?- proposition(R,A,B,C).

R = denounced

A = cicero

B = cicero

C = cicero ;

R = denounced

A = cicero

B = cicero

C = cataline ;

R = denounced

A = cicero

B = cicero

C = tully ;

R = denounced

A = cicero

B = cicero

C = cicero ;

R = denounced

A = cicero

B = cicero

C = cataline ;

R = denounced

A = cicero

B = cicero

C = brutus ;

R = denounced

A = cicero

B = cicero

C = tom ;

R = denounced

A = cicero

B = cicero

C = tom ;

R = denounced

A = cicero

B = cataline

C = cicero ;

R = denounced

A = cicero

B = cataline

C = cataline ;

R = denounced

A = cicero

B = cataline

C = tully ;

R = denounced

A = cicero

B = cataline

C = cicero ;

R = denounced

A = cicero

B = cataline

C = cataline ;

R = denounced

A = cicero

B = cataline

C = brutus ;

R = denounced

A = cicero

B = cataline

C = tom ;

R = denounced

A = cicero

B = cataline

C = tom ;

R = denounced

A = cicero

B = tully

C = cicero ;

R = denounced

A = cicero

B = tully

C = cataline ;

R = denounced

A = cicero

B = tully

C = tully ;

R = denounced

A = cicero

B = tully

C = cicero ;

R = denounced

A = cicero

B = tully

C = cataline ;

R = denounced

A = cicero

B = tully

C = brutus ;

R = denounced

A = cicero

B = tully

C = tom ;

R = denounced

A = cicero

B = tully

C = tom ;

R = denounced

A = cicero

B = cicero

C = cicero ;

R = denounced

A = cicero

B = cicero

C = cataline ;

R = denounced

A = cicero

B = cicero

C = tully ;

R = denounced

A = cicero

B = cicero

C = cicero ;

R = denounced

A = cicero

B = cicero

C = cataline ;

R = denounced

A = cicero

B = cicero

C = brutus ;

R = denounced

A = cicero

B = cicero

C = tom ;

R = denounced

A = cicero

B = cicero

C = tom ;

R = denounced

A = cicero

B = cataline

C = cicero ;

R = denounced

A = cicero

B = cataline

C = cataline ;

R = denounced

A = cicero

B = cataline

C = tully ;

R = denounced

A = cicero

B = cataline

C = cicero ;

R = denounced

A = cicero

B = cataline

C = cataline ;

R = denounced

A = cicero

B = cataline

C = brutus ;

R = denounced

A = cicero

B = cataline

C = tom ;

R = denounced

A = cicero

B = cataline

C = tom ;

R = denounced

A = cicero

B = brutus

C = cicero ;

R = denounced

A = cicero

B = brutus

C = cataline ;

R = denounced

A = cicero

B = brutus

C = tully ;

R = denounced

A = cicero

B = brutus

C = cicero ;

R = denounced

A = cicero

B = brutus

C = cataline ;

R = denounced

A = cicero

B = brutus

C = brutus ;

R = denounced

A = cicero

B = brutus

C = tom ;

R = denounced

A = cicero

B = brutus

C = tom

Yes

?- true_proposition(R,A,B,T).

R = denounced

A = cicero

B = cataline

T = then ;

R = denounced

A = cicero

B = cataline

T = then ;

R = denounced

A = cicero

B = cataline

T = then ;

R = denounced

A = cicero

B = cataline

T = then ;

No

?- true_proposition(R,A,B,C,T).

[I terminated this early by entering a return instead of a semicolon.]

R = symbol0_r

A = tom

B = cicero

C = cicero

T = now ;

R = symbol0_r

A = tom

B = cicero

C = cicero

T = now ;

R = symbol0_r

A = tom

B = cataline

C = cataline

T = now ;

R = symbol0_r

A = tom

B = cataline

C = cataline

T = now ;

R = symbol0_r

A = tom

B = tully

C = brutus

T = now ;

R = symbol0_r

A = tom

B = cicero

C = cicero

T = now ;

R = symbol0_r

A = tom

B = cicero

C = cicero

T = now ;

R = symbol0_r

A = tom

B = cataline

C = cataline

T = now ;

R = symbol0_r

A = tom

B = cataline

C = cataline

T = now ;

R = symbol0_r

A = tom

B = tom

C = tom

T = now ;

R = symbol0_r

A = tom

B = tom

C = tom

T = now ;

R = symbol0_r

A = tom

B = tom

C = tom

T = now ;

R = symbol0_r

A = tom

B = tom

C = tom

T = now ;

R = symbol0_r

A = tom

B = cicero

C = cicero

T = now ;

R = symbol0_r

A = tom

B = cicero

C = cicero

T = now ;

R = symbol0_r

A = tom

B = cataline

C = cataline

T = now ;

R = symbol0_r

A = tom

B = cataline

C = cataline

T = now ;

R = symbol0_r

A = tom

B = tully

C = brutus

T = now ;

R = symbol0_r

A = tom

B = cicero

C = cicero

T = now ;

R = symbol0_r

A = tom

B = cicero

C = cicero

T = now ;

R = symbol0_r

A = tom

B = cataline

C = cataline

T = now ;

R = symbol0_r

A = tom

B = cataline

C = cataline

T = now ;

R = symbol0_r

A = tom

B = tom

C = tom

T = now ;

R = symbol0_r

A = tom

B = tom

C = tom

T = now ;

R = symbol0_r

A = tom

B = tom

C = tom

T = now ;

R = symbol0_r

A = tom

B = tom

C = tom

T = now ;

No

?- true_belief(S,R,A,B,T1,T2).

S = tom

R = denounced

A = cicero

B = cataline

T1 = now

T2 = then ;

No

?- true_belief(S,R,A,B,C,T1,T2).

S = tom

R = symbol0_r

A = tom

B = cicero

C = cicero

T1 = now

T2 = now ;

S = tom

R = symbol0_r

A = tom

B = cataline

C = cataline

T1 = now

T2 = now ;

S = tom

R = symbol0_r

A = tom

B = tully

C = brutus

T1 = now

T2 = now ;

No

Back to Top http://dennisdarland.com/philosophy/index.html