fork download
copy 
  1. % 人者
  2. 人(甲). 人(乙). 人(丙). 人(丁).
  3.  
  4. % 异者（定义谁与谁不同）
  5. 异(甲,乙). 异(甲,丙). 异(甲,丁).
  6. 异(乙,丙). 异(乙,丁).
  7. 异(丙,丁).
  8.  
  9. % 互异之理
  10. 相异(彼,此) :- 异(彼,此).
  11. 相异(彼,此) :- 异(此,彼).
  12.  
  13. % 独一之理：其为独一，余为剩余
  14. 独一人(某人, 某性质) :- 人(某人), 
  15.     剩余者(甲, 某性质), 剩余者(乙, 某性质), 
  16.     剩余者(丙, 某性质), 剩余者(丁, 某性质).
  17. 剩余者(彼, 某性质) :- 人(彼), 独一人(某人, 某性质), 相异(彼,某人).
  18.  
  19. % 盗者之理：有一人为盗
  20. 为盗(贼) :- 独一人(贼, 盗).
  21. 非盗(彼) :- 剩余者(彼, 盗).
  22.  
  23. % 言者之理：有一人言真
  24. 言真(诚) :- 独一人(诚, 真).
  25. 言伪(彼) :- 剩余者(彼, 真).
  26.  
  27. % 四人之言
  28. 甲言 :- 言伪(甲), 为盗(甲).
  29. 甲言 :- 言真(甲), 非盗(甲).
  30.  
  31. 乙言 :- 言伪(乙), 非盗(丁).
  32. 乙言 :- 言真(乙), 为盗(丁).
  33.  
  34. 丙言 :- 言伪(丙), 非盗(乙).
  35. 丙言 :- 言真(丙), 为盗(乙).
  36.  
  37. 丁言 :- 言伪(丁), 为盗(丁).
  38. 丁言 :- 言真(丁), 非盗(丁).
  39.  
  40. % 言皆合理
  41. 言合 :- 甲言, 乙言, 丙言, 丁言.
  42.  
  43. % 究其真伪
  44. ?- 为盗(贼), 言真(诚), 言合.
Success #stdin #stdout #stderr 0.02s 6964KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
stderr
copy 
Warning: /home/5ge9vt/prog:44:
	Goal (directive) failed: user:(为盗(贼),言真(诚),言合)
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit
https://ideone.com/sZw1uX
language:
Prolog (swi 7.6.4)
created:
6 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!