Now showing items 1-1 of 1

    • Datafun: A Functional Datalog 

      Arntzenius, M; Krishnaswami, Neel (Association for Computing Machinery, 2016-09-25)
      Datalog may be considered either an unusually powerful query language or a carefully limited logic programming language. Datalog is declarative, expressive, and optimizable, and has been applied successfully in a wide ...