Home >
domains >
www.cs.mu.oz.au
NU-Prolog
The successor of MU-Prolog, this compiled Prolog system designed and implemented in the mid-80's as a 'purer' logic solution, interfaces with UNIFY databases and is available under an academic license.
|
Keyword |
Results for this URL |
Total searches |