SHOW:
|
|
- or go back to the newest paste.
| 1 | (deffacts student | |
| 2 | (student Marean AC 2 1401 pascani) | |
| 3 | (student Mihai AC 3 1401 pascani ) | |
| 4 | (student Mihaita AC 3 1401 gainesti) | |
| 5 | (student Fane-Spoitoru AC 3 1402 pascani) | |
| 6 | (student Andreea AC 2 1402 vaslui) | |
| 7 | (student Ivanescu AC 3 1402 bucuresti ) | |
| 8 | (student Eminescu TXT 3 1402 iasi ) | |
| 9 | (caut-student 1401 pascani) | |
| 10 | ) | |
| 11 | ||
| 12 | ||
| 13 | ; (defrule R10a | |
| 14 | ; ; ?a <- (caut-student ?x ?y) | |
| 15 | ; (student ?nume1 AC ? ?gr&1401|1402 ?dom&~iasi) | |
| 16 | ; (student ?nume2&~?nume1 AC ? ?gr ?dom | bucuresti) | |
| 17 | ; => | |
| 18 | ; (printout t "Studentii " ?nume1 " si " ?nume2 " din grupa " ?gr " indeplinesc conditiile cerute " crlf) ) | |
| 19 | ||
| 20 | ||
| 21 | ; (defrule R10b | |
| 22 | ; (caut-student ?g ?d) | |
| 23 | ; (student ?nume AC ? ?g ?dom&~?d ) | |
| 24 | ; => | |
| 25 | ; (printout t "Student " ?nume " din grupa " ?g " nu are domiciuliu " ?d crlf) ) | |
| 26 | ||
| 27 | ; (defrule R10c | |
| 28 | ; (caut-student ?g ?d) | |
| 29 | ; (student ?nume AC ? ?gr&~?g ?d ) | |
| 30 | ; => | |
| 31 | ; (printout t "Student " ?nume " din domiciliu " ?d " nu este din grupa " ?g crlf) ) | |
| 32 | ||
| 33 | ; (defrule R10d | |
| 34 | ; ; ?a <- (caut-student ?x ?y) | |
| 35 | ; (caut-student ?g ?d) | |
| 36 | ; (student ?nume AC ? ?g ?d ) | |
| 37 | ; => | |
| 38 | ; (printout t "Student " ?nume " din domiciliu " ?d " este din grupa " ?g crlf) ) | |
| 39 | ||
| 40 | (defrule R10maijmk | |
| 41 | (student ?nume ?f&~AC ?an&3|4 ?grupa iasi) | |
| 42 | => | |
| 43 | (printout t "Student " ?nume " de la facultatea " ?f " anul " ?an " din grupa " ?grupa crlf ) | |
| 44 | ) | |
| 45 | ||
| 46 | (defrule R10simmaijmk | |
| 47 | (student ?nume ?f&~AC ?an&3|4 ?grupa iasi) | |
| 48 | (student ?nume2 ?f 2 ?grupa2 ?dom) | |
| 49 | => | |
| 50 | (printout t "Student " ?nume2 " de la facultatea " ?f " anul " 2 " din grupa " ?grupa crlf ) | |
| 51 | ) |
