1,168 followers
https://t.co/vNuzskVQ69 2022年の論文だけど、Prolog 向けの型システムが今も研究開発されてたりするんだな。 論理プログラミングの学会とか見てればいいんだな。関数型言語界隈見ててもそんな出てこないよなw
https://t.co/vNuzskVQ69 2022年の論文だけど、Prolog 向けの型システムが今も研究開発されてたりするんだな。 論理プログラミングの学会とか見てればいいんだな。関数型言語界隈見ててもそんな出てこないよなw
Representation and Processing of Instantaneous and Durative Temporal Phenomena #Eventdefinitionlanguage #Temporallogic #Streamprocessing #Eventrecognition https://t.co/Js2ANXiEbh