Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
The computer modelling of mathematical reasoning
The computer modelling of mathematical reasoning
Generating the minimal model in Prolog
ACM SIGPLAN Notices
Loop checks for logic programs with functions
Theoretical Computer Science
Linear tabulated resolution based on Prolog control strategy
Theory and Practice of Logic Programming
A further note on looping in Prolog
ACM SIGPLAN Notices
A programming solution to certain problems with loops in Prolog
ACM SIGPLAN Notices
On eliminating loops in Prolog
ACM SIGPLAN Notices
An Abstract Approach to Some Loop Detection Problems
Fundamenta Informaticae
Hi-index | 0.00 |
Modifications to Prolog are proposed that make it possible to express transitive and symmetrical relations and biconditionals. This is done by blocking recursion under circumstances that would lead to infinite loops.