Как мы можем получить что-то от пользователя в прологе: например:
animal(dog). animal(cat). write('please type animal name:'),nl. /* How to read from user and store it to X and then check that user has typed animal name ?*/ ?-animal(X).