fork(1) 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, (member(Rel, [слева_от, справа_от, напротив])), Y]),
  21.     fail.
  22. location.
  23.  
  24.  
  25. % Кто не собирает марки "Спорт"? (Исправлено)
  26. who_does_not_collect_sport :-
  27.     collects(Person, _), % Находим всех, кто что-то собирает
  28.     \+ collects(Person, sport),
  29.     format('~w не собирает "Спорт".\n', [Person]),
  30.     fail.
  31. who_does_not_collect_sport.
  32.  
  33. слева_от(X,Y) :- left_of(X,Y).
  34. справа_от(X,Y) :- right_of(X,Y).
  35. напротив(X,Y) :- opposite(X,Y).
  36.  
Success #stdin #stdout #stderr 0.03s 6940KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
stderr
copy 
Warning: /home/8qoRPa/prog:18:
	Singleton variables: [Rel]
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit
https://ideone.com/KoTmLl
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!