1. Forum
  2. Usenet
  3. COMP.LANG.PROLOG

  • AND(A B) simplified

    From Graham Cooper@21:1/5 to All on Mon Feb 20 02:29:17 2023
    nep C X
    -and1 sis dot

    and1 A B X
    -A C W
    -if
    -B W X
    -else
    -clear W
    -clear X
    -next
    -and1 A B X


    www.new-math.com

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)