Conversation

Notices

1. Embed this notice
   iced depresso (icedquinn@blob.cat)'s status on Friday, 22-Mar-2024 00:22:15 JST iced depresso
   looks like nobody uses datalog's original notation
   
   open policy agent modified it a lot
   other stuff is using clojure edn things
   • Embed this notice
     iced depresso (icedquinn@blob.cat)'s status on Friday, 22-Mar-2024 00:29:01 JST iced depresso

     in reply to

     • pry
     @pry yeah thats prolog notation. it seems datalog has come back in to use, but only in clojure for some reason.
   • Embed this notice
     pry (pry@raru.re)'s status on Friday, 22-Mar-2024 00:29:04 JST pry

     in reply to

     @icedquinn you mean like

     T(X, Y) :- G(X, Y)

     ?

     or is there an older notation?