Searching for "On the Unification Free Prolog Programs." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
On the Unification Free Prolog Programs
- …Centrum voor Wiskunde en Informatica REPORTRAPPORT On the Unification Free Prolog Programs K…
- Cited by 73 (20 self) – Add To MetaCart
-
Unification-free Prolog programs revisited
- …Uni#cation-free Prolog programs revisited SANDRO ETALLE* D.I.S.I.#Universita # di Genova via…
- Add To MetaCart
-
Transformation And Analysis Of (constraint) Logic Programs
- … ................................. 153 8 On Unification-Free Prolog Programs 8.1 8.2 $.3 8.4 8.5 8.6 $.7 8.8 $.9 159…
- Add To MetaCart
-
Fourth International Workshop on Termination WST '99
- … practical features such as the Prolog "cut". In order to prove termination of such programs, it is necessary…
- Add To MetaCart
Showing 1 through 4.
