*** Wrote class files in ./classes/
***
*** Fuzzy Facility for First-order terms
*** Run of Wed Aug 15 15:51:49 CEST 2018
*** 
*** This is 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>')
*** 

  > #fun f/2 g/3 a/0 b/0 p/1 q/1 r/1 s/1;
*** The current signature has 8 functors: {f/2, g/3, a/0, b/0, p/1, q/1, r/1, s/1}
  > #sim p q 0.6 r s 0.4 f g 0.9 a b 0.7;
*** Declared similarities: 
	p q 0.6
	r s 0.4
	f g 0.9
	a b 0.7
  > #close;
*** Computed similarity closure (enter '#show;<CR>' to see it)
  > >>> Processing fuzzy generalization
f(X,X) \/ g(b,a,b);
@@@ unapplying left term X and right term b at degree 0.9
@@@ there is no similar unapplication for X and b at degree 0.9
@@@ the final unapplied fuzzy pair is the original unchanged <X,b,0.9>
@@@ unapplying left term X and right term a at degree 0.9
    @@@ left unapplied variable _0 gives term: X
    @@@ right unapplied variable _0 gives term: b
@@@ computing similarity degree of X and X
@@@ results in 1.0
@@@ computing similarity degree of a and b
@@@ results in 0.7
@@@ the final unapplied fuzzy pair is <_0,_0,0.7>
*** Fuzzy lub = f(_0,_0)
*** Approximation degree = 0.7
@@@ Registered variables: [X, _0]
*** Left substitution:
*** _0 = X
*** Right substitution:
*** _0 = b
  > f(a,b) \/ g(X,X,a);
>>> Processing fuzzy generalization
f(a,b) \/ g(X,X,a);
@@@ unapplying left term a and right term X at degree 0.9
@@@ there is no similar unapplication for a and X at degree 0.9
@@@ the final unapplied fuzzy pair is the original unchanged <a,X,0.9>
@@@ unapplying left term b and right term X at degree 0.9
    @@@ left unapplied variable _0 gives term: a
    @@@ right unapplied variable _0 gives term: X
@@@ computing similarity degree of b and a
@@@ results in 0.7
@@@ computing similarity degree of X and X
@@@ results in 1.0
@@@ the final unapplied fuzzy pair is <_0,_0,0.7>
*** Fuzzy lub = f(_0,_0)
*** Approximation degree = 0.7
@@@ Registered variables: [X, _0]
*** Left substitution:
*** _0 = a
*** Right substitution:
*** _0 = X
  > #sig;
#sig;
*** The current signature has 8 functors: {f/2, g/3, a/0, b/0, p/1, q/1, r/1, s/1}
  > f(a,a) \/ g(b,b,b);
>>> Processing fuzzy generalization
f(a,a) \/ g(b,b,b);
@@@ unapplying left term a and right term b at degree 0.9
@@@ there is no similar unapplication for a and b at degree 0.9
@@@ the final unapplied fuzzy pair is the original unchanged <a,b,0.9>
@@@ unapplying left term a and right term b at degree 0.7
@@@ there is no similar unapplication for a and b at degree 0.7
@@@ the final unapplied fuzzy pair is the original unchanged <a,b,0.7>
*** Fuzzy lub = f(a,a)
*** Approximation degree = 0.7
@@@ Registered variables: []
  > f(a,a) \/ g(c,c,c);
!!! Re computed similarity (enter '#show;<CR>' to see it)
>>> Processing fuzzy generalization
f(a,a) \/ g(c,c,c);
@@@ unapplying left term a and right term c at degree 0.9
@@@ there is no similar unapplication for a and c at degree 0.9
@@@ the final unapplied fuzzy pair is the original unchanged <a,c,0.9>
@@@ unapplying left term a and right term c at degree 0.9
    @@@ left unapplied variable _0 gives term: a
    @@@ right unapplied variable _0 gives term: c
@@@ computing similarity degree of a and a
@@@ results in 1.0
@@@ computing similarity degree of c and c
@@@ results in 1.0
@@@ the final unapplied fuzzy pair is <_0,_0,0.9>
*** Fuzzy lub = f(_0,_0)
*** Approximation degree = 0.9
@@@ Registered variables: [_0]
*** Left substitution:
*** _0 = a
*** Right substitution:
*** _0 = c
  >