(hak) 47> fff
***
*** Fuzzy Facility for First-order terms
*** Run of Sat Aug 25 18:16:00 CEST 2018
*** 
*** Welcome to FFF, a facility (under development) for fuzzy lattice operations on first-order terms
*** 
*** Type '#help;<CR>' for help or 'quit;<CR>' to quit (if no prompt upon an error, type ';<CR>')
*** 

FFF> #load "main.fff";

FFF> #load "p1.fff";

FFF> #fun a/0 b/0 c/0 d/0;
*** The current signature has 4 functors: {a/0, b/0, c/0, d/0}

FFF> #sim a b 0.7 c d 0.6;
*** Declared similarities: 
	a b 0.7
	c d 0.6

FFF> #fun f/2 g/2 h/2 l/3;
*** The current signature has 8 functors: {a/0, b/0, c/0, d/0, f/2, g/2, h/2, l/3}

FFF> #sim h l 0.8;
*** Declared similarities: 
	a b 0.7
	c d 0.6
	h l 0.8

FFF> #close;
*** Computed similarity closure (enter '#show;<CR>' to see it)

FFF> #show;
*** The current signature has 8 functors: {a/0, b/0, c/0, d/0, f/2, g/2, h/2, l/3}

*** The declared similar functor pairs are: 
	a b 0.7
	c d 0.6
	h l 0.8

*** The similarity closure of the declared similar functor pairs is:

     a/0  b/0  c/0  d/0  f/2  g/2  h/2  l/3  
     ---  ---  ---  ---  ---  ---  ---  ---  
a |  1.0  0.7  0.0  0.0  0.0  0.0  0.0  0.0 

b |  0.7  1.0  0.0  0.0  0.0  0.0  0.0  0.0 

c |  0.0  0.0  1.0  0.6  0.0  0.0  0.0  0.0 

d |  0.0  0.0  0.6  1.0  0.0  0.0  0.0  0.0 

f |  0.0  0.0  0.0  0.0  1.0  0.0  0.0  0.0 

g |  0.0  0.0  0.0  0.0  0.0  1.0  0.0  0.0 

h |  0.0  0.0  0.0  0.0  0.0  0.0  1.0  0.8 

l |  0.0  0.0  0.0  0.0  0.0  0.0  0.8  1.0 

*** It has 5 similarity degrees: [0.0,0.6,0.7,0.8,1.0]

*** The 5 corresponding fuzzy partitions are:

*** >= 0.0: { {a, b, c, d, f, g, h, l} }

*** >= 0.6: { {a, b}, {c, d}, {f}, {g}, {h, l} }

*** >= 0.7: { {a, b}, {c}, {d}, {f}, {g}, {h, l} }

*** >= 0.8: { {a}, {b}, {c}, {d}, {f}, {g}, {h, l} }

*** >= 1.0: { {a}, {b}, {c}, {d}, {f}, {g}, {h}, {l} }

FFF> #reset;
*** All structures have been reset

FFF> #load "p2.fff";

FFF> #fun a/0 b/1 e/2 f/3 g/4 h/5;
*** The current signature has 6 functors: {a/0, b/1, e/2, f/3, g/4, h/5}

FFF> #sim a b 0.2 a e 0.4 a f 0.5 b f 1.0 b g 0.4 e f 0.8 e g 0.6 f h 0.7;
*** Declared similarities: 
	a b 0.2
	a e 0.4
	a f 0.5
	b f 1.0
	b g 0.4
	e f 0.8
	e g 0.6
	f h 0.7

FFF> #close;
*** Computed similarity closure (enter '#show;<CR>' to see it)

FFF> #show;
*** The current signature has 6 functors: {a/0, b/1, e/2, f/3, g/4, h/5}

*** The declared similar functor pairs are: 
	a b 0.2
	a e 0.4
	a f 0.5
	b f 1.0
	b g 0.4
	e f 0.8
	e g 0.6
	f h 0.7

*** The similarity closure of the declared similar functor pairs is:

     a/0  b/1  e/2  f/3  g/4  h/5  
     ---  ---  ---  ---  ---  ---  
a |  1.0  0.5  0.5  0.5  0.5  0.5 

b |  0.5  1.0  0.8  1.0  0.6  0.7 

e |  0.5  0.8  1.0  0.8  0.6  0.7 

f |  0.5  1.0  0.8  1.0  0.6  0.7 

g |  0.5  0.6  0.6  0.6  1.0  0.6 

h |  0.5  0.7  0.7  0.7  0.6  1.0 

*** It has 5 similarity degrees: [0.5,0.6,0.7,0.8,1.0]

*** The 5 corresponding fuzzy partitions are:

*** >= 0.5: { {a, b, e, f, g, h} }

*** >= 0.6: { {a}, {b, e, f, g, h} }

*** >= 0.7: { {a}, {b, e, f, h}, {g} }

*** >= 0.8: { {a}, {b, e, f}, {g}, {h} }

*** >= 1.0: { {a}, {b, f}, {e}, {g}, {h} }

FFF> #reset;
*** All structures have been reset

FFF> #load "p3.fff";

FFF> #fun a/0 b/1 e/2 f/3 g/4 h/5;
*** The current signature has 6 functors: {a/0, b/1, e/2, f/3, g/4, h/5}

FFF> #sim a b 0.2 a e 0.4 b f 1.0 e f 0.8 e g 0.6 f g 0.9 f h 0.7;
*** Declared similarities: 
	a b 0.2
	a e 0.4
	b f 1.0
	e f 0.8
	e g 0.6
	f g 0.9
	f h 0.7

FFF> #close;
*** Computed similarity closure (enter '#show;<CR>' to see it)

FFF> #show;
*** The current signature has 6 functors: {a/0, b/1, e/2, f/3, g/4, h/5}

*** The declared similar functor pairs are: 
	a b 0.2
	a e 0.4
	b f 1.0
	e f 0.8
	e g 0.6
	f g 0.9
	f h 0.7

*** The similarity closure of the declared similar functor pairs is:

     a/0  b/1  e/2  f/3  g/4  h/5  
     ---  ---  ---  ---  ---  ---  
a |  1.0  0.4  0.4  0.4  0.4  0.4 

b |  0.4  1.0  0.8  1.0  0.9  0.7 

e |  0.4  0.8  1.0  0.8  0.8  0.7 

f |  0.4  1.0  0.8  1.0  0.9  0.7 

g |  0.4  0.9  0.8  0.9  1.0  0.7 

h |  0.4  0.7  0.7  0.7  0.7  1.0 

*** It has 5 similarity degrees: [0.4,0.7,0.8,0.9,1.0]

*** The 5 corresponding fuzzy partitions are:

*** >= 0.4: { {a, b, e, f, g, h} }

*** >= 0.7: { {a}, {b, e, f, g, h} }

*** >= 0.8: { {a}, {b, e, f, g}, {h} }

*** >= 0.9: { {a}, {b, f, g}, {e}, {h} }

*** >= 1.0: { {a}, {b, f}, {e}, {g}, {h} }

FFF> #reset;
*** All structures have been reset

FFF> #load "p4.fff";

FFF> #fun a/0 b/1 e/2 f/3 g/4 h/5;
*** The current signature has 6 functors: {a/0, b/1, e/2, f/3, g/4, h/5}

FFF> #sim a b 0.8 e f 0.6 e g 0.7 e h 0.4 f g 0.9 f h 0.7;
*** Declared similarities: 
	a b 0.8
	e f 0.6
	e g 0.7
	e h 0.4
	f g 0.9
	f h 0.7

FFF> #close;
*** Computed similarity closure (enter '#show;<CR>' to see it)

FFF> #show;
*** The current signature has 6 functors: {a/0, b/1, e/2, f/3, g/4, h/5}

*** The declared similar functor pairs are: 
	a b 0.8
	e f 0.6
	e g 0.7
	e h 0.4
	f g 0.9
	f h 0.7

*** The similarity closure of the declared similar functor pairs is:

     a/0  b/1  e/2  f/3  g/4  h/5  
     ---  ---  ---  ---  ---  ---  
a |  1.0  0.8  0.0  0.0  0.0  0.0 

b |  0.8  1.0  0.0  0.0  0.0  0.0 

e |  0.0  0.0  1.0  0.7  0.7  0.7 

f |  0.0  0.0  0.7  1.0  0.9  0.7 

g |  0.0  0.0  0.7  0.9  1.0  0.7 

h |  0.0  0.0  0.7  0.7  0.7  1.0 

*** It has 5 similarity degrees: [0.0,0.7,0.8,0.9,1.0]

*** The 5 corresponding fuzzy partitions are:

*** >= 0.0: { {a, b, e, f, g, h} }

*** >= 0.7: { {a, b}, {e, f, g, h} }

*** >= 0.8: { {a, b}, {e}, {f, g}, {h} }

*** >= 0.9: { {a}, {b}, {e}, {f, g}, {h} }

*** >= 1.0: { {a}, {b}, {e}, {f}, {g}, {h} }

FFF> #load "p5.fff";

FFF> #fun a/0 b/1 e/2 f/3 g/4 h/5;
*** The current signature has 6 functors: {a/0, b/1, e/2, f/3, g/4, h/5}

FFF> !!! New similarity declaration; old similarity cleared (re-compute with '#close;<CR>')
#sim a b 0.3 a f 0.5 b f 0.5 b g 0.4 f h 0.2;
*** Declared similarities: 
	a b 0.8
	e f 0.6
	e g 0.7
	e h 0.4
	f g 0.9
	f h 0.7
	a b 0.3
	a f 0.5
	b f 0.5
	b g 0.4
	f h 0.2

FFF> #close;
*** Computed similarity closure (enter '#show;<CR>' to see it)

FFF> #show;
*** The current signature has 6 functors: {a/0, b/1, e/2, f/3, g/4, h/5}

*** The declared similar functor pairs are: 
	a b 0.8
	e f 0.6
	e g 0.7
	e h 0.4
	f g 0.9
	f h 0.7
	a b 0.3
	a f 0.5
	b f 0.5
	b g 0.4
	f h 0.2

*** The similarity closure of the declared similar functor pairs is:

     a/0  b/1  e/2  f/3  g/4  h/5  
     ---  ---  ---  ---  ---  ---  
a |  1.0  0.5  0.5  0.5  0.5  0.4 

b |  0.5  1.0  0.5  0.5  0.5  0.4 

e |  0.5  0.5  1.0  0.7  0.7  0.4 

f |  0.5  0.5  0.7  1.0  0.9  0.4 

g |  0.5  0.5  0.7  0.9  1.0  0.4 

h |  0.4  0.4  0.4  0.4  0.4  1.0 

*** It has 5 similarity degrees: [0.4,0.5,0.7,0.9,1.0]

*** The 5 corresponding fuzzy partitions are:

*** >= 0.4: { {a, b, e, f, g, h} }

*** >= 0.5: { {a, b, e, f, g}, {h} }

*** >= 0.7: { {a}, {b}, {e, f, g}, {h} }

*** >= 0.9: { {a}, {b}, {e}, {f, g}, {h} }

*** >= 1.0: { {a}, {b}, {e}, {f}, {g}, {h} }

FFF> #reset;
*** All structures have been reset

FFF> quit;
*** So long - and thanks for playing with FFF...
*** We hope that you had some FFFuzzy FFFun! 8^D
(hak) 48>