Efficient reordering of Prolog programs
- 1 January 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Knowledge and Data Engineering
- Vol. 1 (4) , 470-482
- https://doi.org/10.1109/69.43422
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Efficient reordering of Prolog programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Intractable unifiability problems and backtrackingPublished by Springer Nature ,1986
- Ordering conjunctive queriesArtificial Intelligence, 1985
- Some global optimizations for a PROLOG compilerThe Journal of Logic Programming, 1985
- A polymorphic type system for prologArtificial Intelligence, 1984
- Programming in PrologPublished by Springer Nature ,1984