ANDOR
Evolution of
ANDOR-II (5013)
AND-OR Prolog