TITLE : A functional plus predicate logic programming language AUTHOR(S) : Bellia M., Degano P., Levi G. TYPE : Other YEAR : 1980 CODE : 421711 *** DO NOT EDIT THIS FILE ***