Prolog-II Evolution of

Prolog with unification replaced by constraint resolution.

LLilog 1 Built on
1
FORKADS 0 Based on
1