1. 14
  1.  

  2. 4

    TIL we don’t have a prolog tag

    1. 2

      Which reminds me of the paper What you always wanted to know about Datalog

      1. 2

        So if I’m reading this right, everything is like sql except for the rules (final section) which allow logic programming?