Efficient reordering of Prolog programs

Publisher Website

6 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/icde.1988.105452

Abstract

No abstract available

Keywords

EFFICIENT REORDERING OF PROLOG PROGRAMS

This publication has 4 references indexed in Scilit:

Intractable unifiability problems and backtracking
Published by Springer Nature ,1986
Some global optimizations for a PROLOG compiler
The Journal of Logic Programming, 1985
A polymorphic type system for prolog
Artificial Intelligence, 1984
Programming in Prolog
Published by Springer Nature ,1984