fork download
copy 
  1. collects(wolf, fauna).
  2. collects(nuff, flora).
  3. collects(nif, sport).
  4. collects(nafa, cosmos).
  5.  
  6. left_of(wolf, nafa).
  7. right_of(nif, cosmos).
  8. opposite(nif, nafa).
  9.  
  10. % Кто собирает какие марки?
  11. who_collects_what :-
  12.     collects(Who, What),
  13.     format('~w собирает ~w.\n', [Who, What]),
  14.     fail.
  15. who_collects_what.
  16.  
  17. % Кто сидит где? (Информация неполная из-за противоречий)
  18. location :-
  19.     (left_of(X, Y) ; right_of(X, Y) ; opposite(X, Y)),  % Проверяем все отношения
  20.     format('~w находится ~w ~w.\n', [X, (get_relation(X,Y,Rel)), Y]),  % Используем предикат get_relation
  21.     fail.
  22. location.
  23.  
  24. get_relation(X, Y, Rel) :-
  25.     left_of(X, Y), Rel = слева_от ;
  26.     right_of(X, Y), Rel = справа_от ;
  27.     opposite(X, Y), Rel = напротив.
  28.  
  29.  
  30. % Кто не собирает марки "Спорт"? (Исправлено)
  31. who_does_not_collect_sport :-
  32.     collects(Person, _), % Находим всех, кто что-то собирает
  33.     \+ collects(Person, sport),
  34.     format('~w не собирает "Спорт".\n', [Person]),
  35.     fail.
  36. who_does_not_collect_sport.
  37.  
  38.  
Success #stdin #stdout #stderr 0.02s 6960KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
stderr
copy 
Warning: /home/LOQBfr/prog:18:
	Singleton variables: [Rel]
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit
https://ideone.com/EYKPam
language:
Prolog (swi 7.6.4)
created:
3 days ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!