../code/conceptPage.scroll

id u-datalog
name U-Datalog
appeared 1997
tags pl

reference https://semanticscholar.org/paper/236602d5d6e480bf8be2379ce9d6af05326b9c8f

hopl https://hopl.info/showlanguage.prx?exp=5797