Logic Programming with Functions and Predicates: The Language BABEL (1992)

by J Moreno-Navarro, M Rodríguez-Artalejo
Venue:Journal for Logic Programming