CELP

Computationally Extended Logic Programming

"Computationally Extended Logic Programming", M. C. Rubenstein et al, Computer Languages 12(1):1-7 (1987).