Пролог вырезать по факту

Question

Я в Прологе и у меня есть этот факт:

likes(mary,juice).

Я хочу поставить разрез после этого факта

likes(mary,juice),!.

Но компилятор Prolog не позволяет мне этого делать. Почему это неправильно? (Я хочу предотвратить возврат после того, как этот факт выбран)

Answer 1

Как следует из комментария, вы должны превратить этот факт в правило и вставить разрез в тело правила:

likes(mary, juice) :-
    !.

(Применяются обычные предупреждения о сокращении. Это может изменить смысл вашей программы способами, которые вы не ожидаете, и их следует избегать, если вы точно не знаете, что делаете и , вам действительно нужно ускорить его обеспечивает.)