(hak) 52> fff
***
*** Fuzzy Facility for First-order terms
*** Run of Sat Aug 25 18:21:49 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 "x.fff";

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

FFF> #sim f g 0.8 g h 0.7 a b 0.5;
*** Declared similarities: 
	f g 0.8
	g h 0.7
	a b 0.5

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

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

*** The declared similar functor pairs are: 
	f g 0.8
	g h 0.7
	a b 0.5

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

     f/1  g/2  h/3  a/0  b/0  
     ---  ---  ---  ---  ---  
f |  1.0  0.8  0.7  0.0  0.0 

g |  0.8  1.0  0.7  0.0  0.0 

h |  0.7  0.7  1.0  0.0  0.0 

a |  0.0  0.0  0.0  1.0  0.5 

b |  0.0  0.0  0.0  0.5  1.0 

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

*** The 5 corresponding fuzzy partitions are:

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

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

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

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

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

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