?- animal(X). X = goat Yes more? ?- findall(X,animal(X),L). please type one more animal name: foo. L = [goat,elephant,foo] X = _999999965_64bfbc86_X Yes more?
A simple C++ Prolog Machine
?- animal(X). X = goat Yes more? ?- findall(X,animal(X),L). please type one more animal name: foo. L = [goat,elephant,foo] X = _999999965_64bfbc86_X Yes more?
A simple C++ Prolog Machine