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