「Scallop is a language based on DataLog that supports differentiable logical and relational reasoning」2025/3/30 7:54:00 『Introduction - Scallop Book』
『深層学習と論理プログラミングの融合に関する最新の動向』2024/3/17 13:59:00 https://www.jstage.jst.go.jp/article/jjsai/34/5/34_714/_pdf