Did you know ... Search Documentation:
 Pack logicmoo_nars -- examples/more/Example-NAL6-in.txt

********** variable unification IN: <<\$1 --> bird> ==> <\$1 --> flyer>>. %1.00;0.90% {0 : 1} IN: <<\$1 --> bird> ==> <\$1 --> flyer>>. %0.00;0.70% {0 : 2} 1 OUT: <<\$1 --> bird> ==> <\$1 --> flyer>>. %0.79;0.92% {1 : 1;2} ********** variable unification IN: <<\$1 --> bird> ==> <\$1 --> animal>>. %1.00;0.90% {0 : 1} IN: <<\$1 --> robin> ==> <\$1 --> bird>>. %1.00;0.90% {0 : 2} 3 OUT: <<\$1 --> robin> ==> <\$1 --> animal>>. %1.00;0.81% {3 : 2;1} OUT: <<\$1 --> animal> ==> <\$1 --> robin>>. %1.00;0.45% {3 : 2;1} ********** variable unification IN: <<\$1 --> swan> ==> <\$1 --> bird>>. %0.90;0.80% {0 : 1} IN: <<\$1 --> swan> ==> <\$1 --> swimmer>>. %0.80;0.90% {0 : 2} 3 OUT: <<\$1 --> swimmer> ==> <\$1 --> bird>>. %0.90;0.37% {3 : 2;1} OUT: <<\$1 --> bird> ==> <\$1 --> swimmer>>. %0.80;0.39% {3 : 2;1} OUT: <<\$1 --> bird> <=> <\$1 --> swimmer>>. %0.73;0.41% {3 : 2;1} OUT: <<\$1 --> swan> ==> (||,<\$1 --> bird>,<\$1 --> swimmer>)>. %0.98;0.72% {3 : 2;1} OUT: <<\$1 --> swan> ==> (&&,<\$1 --> bird>,<\$1 --> swimmer>)>. %0.72;0.72% {3 : 2;1} ********** variable unification IN: <<bird --> \$1> ==> <robin --> \$1>>. %0.80;0.80% {0 : 1} IN: <<swimmer --> \$1> ==> <robin --> \$1>>. %0.70;0.90% {0 : 2} 3 OUT: <<bird --> \$1> ==> <swimmer --> \$1>>. %0.80;0.34% {3 : 2;1} OUT: <<swimmer --> \$1> ==> <bird --> \$1>>. %0.70;0.37% {3 : 2;1} OUT: <<bird --> \$1> <=> <swimmer --> \$1>>. %0.60;0.40% {3 : 2;1} OUT: <(&&,<bird --> \$1>,<swimmer --> \$1>) ==> <robin --> \$1>>. %0.94;0.72% {3 : 2;1} OUT: <(||,<bird --> \$1>,<swimmer --> \$1>) ==> <robin --> \$1>>. %0.56;0.72% {3 : 2;1} ********** variable unification IN: <(&&,<\$1 --> b>,A) ==> <\$1 --> c>>. %1.00;0.90% {0 : 1} IN: <<\$1 --> d> ==> <\$1 --> b>>. %1.00;0.90% {0 : 2} 1 OUT: <(&&,<\$1 --> d>,A) ==> <\$1 --> c>>. %1.00;0.81% {1 : 2;1} ********** variable unification IN: <(&&,<\$1 --> b>,A,E) ==> <\$1 --> c>>. %1.00;0.90% {0 : 1} IN: <(&&,<\$1 --> d>,A) ==> <\$1 --> c>>. %0.80;0.90% {0 : 2} 2 OUT: <(&&,<\$1 --> b>,E) ==> <\$1 --> d>>. %1.00;0.39% {2 : 1;2} OUT: <<\$1 --> d> ==> (&&,<\$1 --> b>,E)>. %0.80;0.45% {2 : 1;2} ********** variable unification IN: <(&&,<\$1 --> a>,B) ==> <\$1 --> c>>. %0.70;0.90% {0 : 1} IN: <<\$1 --> a> ==> <\$1 --> d>>. %1.00;0.90% {0 : 2} 1 OUT: <(&&,<\$1 --> d>,B) ==> <\$1 --> c>>. %0.70;0.45% {1 : 2;1} ****** variable elimination IN: <<\$1 --> bird> ==> <\$1 --> animal>>. %1.00;0.90% {0 : 1} IN: <robin --> bird>. %1.00;0.90% {0 : 2} 1 OUT: <robin --> animal>. %1.00;0.81% {1 : 2;1} ********** variable elimination IN: <<\$1 --> bird> ==> <\$1 --> animal>>. %1.00;0.90% {0 : 1} IN: <robin --> animal>. %1.00;0.90% {0 : 2} 1 OUT: <robin --> bird>. %1.00;0.45% {1 : 2;1} ********** variable elimination IN: <<\$1 --> animal> <=> <\$1 --> bird>>. %1.00;0.90% {0 : 1} IN: <robin --> bird>. %1.00;0.90% {0 : 2} 1 OUT: <robin --> animal>. %1.00;0.81% {1 : 2;1} ********** variable elimination IN: (&&,<#1 --> bird>,<#1 --> swimmer>). %1.00;0.90% {0 : 1} IN: <swan --> bird>. %0.90;0.90% {0 : 2} 1 OUT: <swan --> swimmer>. %0.90;0.43% {1 : 2;1} ********** variable elimination IN: <(&&,<\$1 --> a>,B) ==> <\$1 --> c>>. %1.00;0.90% {0 : 1} IN: <e --> a>. %1.00;0.90% {0 : 2} 1 OUT: <B ==> <e --> c>>. %1.00;0.81% {1 : 2;1} ********** variable elimination IN: <(&&,<\$1 --> b>,A,C) ==> <\$1 --> d>>. %1.00;0.90% {0 : 1} IN: <e --> b>. %1.00;0.90% {0 : 2} 1 OUT: <(&&,A,C) ==> <e --> d>>. %1.00;0.81% {1 : 1;2} ********** multiple variable elimination IN: <(&&,<\$1 --> key>,<\$2 --> lock>) ==> <\$2 --> (/,open,\$1,_)>>. %1.00;0.90% {0 : 1} IN: <{lock1} --> lock>. %1.00;0.90% {0 : 2} 2 OUT: <<\$1 --> key> ==> <{lock1} --> (/,open,\$1,_)>>. %1.00;0.81% {2 : 1;2} ********** multiple variable elimination IN: <<\$1 --> lock> ==> (&&,<#2 --> key>,<\$1 --> (/,open,#2,_)>)>. %1.00;0.90% {0 : 1} IN: <{lock1} --> lock>. %1.00;0.90% {0 : 2} 1 OUT: (&&,<#1 --> key>,<{lock1} --> (/,open,#1,_)>). %1.00;0.81% {1 : 2;1} ********** multiple variable elimination IN: (&&,<#1 --> lock>,<<\$2 --> key> ==> <#1 --> (/,open,\$2,_)>>). %1.00;0.90% {0 : 1} IN: <{lock1} --> lock>. %0.90;0.90% {0 : 2} 1 OUT: <<\$1 --> key> ==> <{lock1} --> (/,open,\$1,_)>>. %0.90;0.43% {1 : 2;1} ********** multiple variable elimination IN: (&&,<#1 --> (/,open,#2,_)>,<#1 --> lock>,<#2 --> key>). %1.00;0.90% {0 : 1} IN: <{lock1} --> lock>. %0.90;0.90% {0 : 2} 1 OUT: (&&,<#1 --> key>,<{lock1} --> (/,open,#1,_)>). %0.90;0.43% {1 : 2;1} ********** variable introduction : induction IN: <swan --> bird>. %1.00;0.90% {0 : 1} IN: <swan --> swimmer>. %0.80;0.90% {0 : 2} 1 OUT: <<\$1 --> bird> ==> <\$1 --> swimmer>>. %0.80;0.45% {1 : 2;1} OUT: <<\$1 --> swimmer> ==> <\$1 --> bird>>. %1.00;0.39% {1 : 2;1} OUT: <<\$1 --> bird> <=> <\$1 --> swimmer>>. %0.80;0.45% {1 : 2;1} OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.80;0.81% {1 : 2;1} ********** variable introduction : abduction IN: <gull --> swimmer>. %1.00;0.90% {0 : 1} IN: <swan --> swimmer>. %0.80;0.90% {0 : 2} 1 OUT: <<gull --> \$1> ==> <swan --> \$1>>. %0.80;0.45% {1 : 2;1} OUT: <<swan --> \$1> ==> <gull --> \$1>>. %1.00;0.39% {1 : 2;1} OUT: <<gull --> \$1> <=> <swan --> \$1>>. %0.80;0.45% {1 : 2;1} OUT: (&&,<gull --> #1>,<swan --> #1>). %0.80;0.81% {1 : 2;1} ********** multiple variables introduction IN: <{key1} --> (/,open,_,{lock1})>. %1.00;0.90% {0 : 1} IN: <{key1} --> key>. %1.00;0.90% {0 : 2} 2 OUT: <<\$1 --> key> ==> <\$1 --> (/,open,_,{lock1})>>. %1.00;0.45% {2 : 1;2} OUT: (&&,<#1 --> (/,open,_,{lock1})>,<#1 --> key>). %1.00;0.81% {2 : 1;2} ********** multiple variables introduction IN: <<\$1 --> key> ==> <\$1 --> (/,open,_,{lock1})>>. %1.00;0.90% {0 : 1} 4 OUT: <<\$1 --> key> ==> <{lock1} --> (/,open,\$1,_)>>. %1.00;0.90% {0 : 1} ********** multiple variables introduction IN: (&&,<#1 --> (/,open,_,{lock1})>,<#1 --> key>). %1.00;0.90% {0 : 1} 3 OUT: (&&,<#1 --> key>,<{lock1} --> (/,open,#1,_)>). %1.00;0.90% {0 : 1} ********** multiple variables introduction IN: <<\$1 --> key> ==> <{lock1} --> (/,open,\$1,_)>>. %0.80;0.90% {0 : 1} IN: <{lock1} --> lock>. %1.00;0.90% {0 : 2} 1 OUT: (&&,<#1 --> lock>,<<\$2 --> key> ==> <#1 --> (/,open,\$2,_)>>). %0.80;0.81% {1 : 2;1} OUT: <(&&,<\$1 --> key>,<\$2 --> lock>) ==> <\$2 --> (/,open,\$1,_)>>. %1.00;0.39% {1 : 2;1} ********** multiple variables introduction IN: (&&,<#1 --> key>,<{lock1} --> (/,open,#1,_)>). %0.80;0.90% {0 : 1} IN: <{lock1} --> lock>. %1.00;0.90% {0 : 2} 1 OUT: (&&,<#1 --> key>,<#2 --> (/,open,#1,_)>,<#2 --> lock>). %0.80;0.81% {1 : 2;1} OUT: <<\$1 --> lock> ==> (&&,<#2 --> key>,<\$1 --> (/,open,#2,_)>)>. %1.00;0.39% {1 : 2;1}