Что я теперь проверял, что X (Y) не является принятым фактом в моей маленькой БД. Поскольку X (Y) возвращает false, он попытается его утвердить. (Я понимаю, что это создает проблемы, когда X является
Я написал следующий простой код, и я ожидаю, что когда я напишу «мужчина», этот код спросит меня однажды «это мужчина?». и если я ввожу «Нет», он пишет на экране «она женщина». male :- (print('is it m
У меня возникли проблемы с вложением фактов в существующий файл Prolog без перезаписи исходного содержимого. Предположим, у меня есть файл test.pl: :- dynamic born/2.
born(john,london).
born(tim,ma