The occur-check problem revisited

Authors:
Joachim Beer
Affiliations:
GMD-FIRST an der TU-Berlin, Berlin, West Germany
Venue:
Journal of Logic Programming
Year:
1988

Citing 0
Cited 4

On prolog and the occur check problem

ACM SIGPLAN Notices
High-Performance Logic Programming with the Aquarius Prolog Compiler

Computer
On the occur-check-free PROLOG programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Fast Prolog with an extended general purpose architecture

ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract