https://popl22.sigplan.org/details/prolala-2022-papers/3/Introduction-of-PROLEG-PROlog-based-LEGal-reasoning-support-system- https://popl22.sigplan.org/details/

https://popl22.sigplan.org/details/prolala-2022-papers/3/Introduction-of-PROLEG-PROlog-based-LEGal-reasoning-support-system- https://popl22.sigplan.org/details/prolala-2022-papers/3/Int...