Advertisement
Guest User

Untitled

a guest
Mar 24th, 2018
87
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.63 KB | None | 0 0
  1. % fakty
  2. osoba(tomasz,55,stolarz).
  3. osoba(krzysztof,25,piłkarz).
  4. osoba(krzysztof,25,rzeźnik).
  5. osoba(piotr,25,złodziej).
  6. osoba(anna,39,chirurg).
  7. romans(anna,piotr).
  8. romans(anna,krzysztof).
  9. romans(agnieszka,piotr).
  10. romans(agnieszka,tomasz).
  11. morderstwo(agnieszka).
  12. prawdopodobnie_zamordowana(agnieszka,kij_golfowy).
  13. prawdopodobnie_zamordowana(agnieszka,łom).
  14.  
  15. pobrudzony(tomasz,krew).
  16. pobrudzony(agnieszka,krew).
  17. pobrudzony(krzysztof,krew).
  18. pobrudzony(krzysztof,błoto).
  19. pobrudzony(piotr,błoto).
  20. pobrudzony(anna,krew).
  21.  
  22. posiada(tomasz,sztuczna_noga).
  23. posiada(piotr,rewolwer).
  24. podobne_obrażenia(sztuczna_noga,kij_golfowy).
  25. podobne_obrażenia(sztuczna_noga,kij_golfowy).
  26. podobne_obrażenia(łom,kij_golfowy).
  27. podobne_obrażenia(noga_od_stołu,kij_golfowy).
  28. podobne_obrażenia(nożyczki,nóż).
  29. podobne_obrażenia(but_piłkarski,kij_golfowy).
  30.  
  31. mężczyzna(piotr).
  32. mężczyzna(krzysztof).
  33. mężczyzna(tomasz).
  34.  
  35. kobieta(anna).
  36. kobieta(agnieszka).
  37.  
  38.  
  39.  
  40. %reguły
  41.  
  42. posiada(X,but_piłkarski):- osoba(X,_,piłkarz).
  43. posiada(X,nożyczki):- osoba(X,_,chirurg).
  44. posiada(X,narzędzie_zbrodni):- posiada(X,rewolwer); posiada(X,nóż); posiada(X,nożyczki); posiada(X,kij_golfowy); posiada(X,łom); posiada(X,sztuczna_noga); posiada(X,but_piłkarski); posiada(X,noga_od_stołu).
  45. podejrzany(X):- prawdopodobnie_zamordowana(agnieszka,Y),podobne_obrażenia(N,Y),posiada(X,N).
  46.  
  47. motyw(X,zazdrość):-romans(agnieszka,X),mężczyzna(X).
  48.  
  49. motyw(X,zazdrość):-romans(agnieszka,X),romans(X,M),kobieta(X).
  50.  
  51. motyw(X,pieniądze):-osoba(X,_,złodziej),mężczyzna(X).
  52.  
  53. morderca(X):-podejrzany(X), motyw(X,_),pobrudzony(agnieszka,S), pobrudzony(X,S).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement