Differences
This shows you the differences between two versions of the page.
|
pp:22:laboratoare:prolog:intro [2022/05/08 09:53] bot.pp |
pp:22:laboratoare:prolog:intro [2022/05/13 09:18] (current) ionut.balasescu [Resurse] |
||
|---|---|---|---|
| Line 153: | Line 153: | ||
| </code> | </code> | ||
| - | Fiecare //S<html><sub></html>i<html></sub></html>//, //i = 1,n// și //S// au forma faptelor Prolog, deci sunt predicate, cu argumente constante, variabile sau structuri. Faptul S care definește regula, se numește **antet de regulă**, iar //S<html><sub></html>1<html></sub></html>, S<html><sub></html>2<html></sub></html>,..., S<html><sub></html>n<html></sub></html>// formează corpul regulii și reprezintă conjuncția de scopuri care trebuie satisfăcute pentru ca antetul regulii să fie satisfăcut. | + | Fiecare //Si//, //i = 1,n// și //S// au forma faptelor Prolog, deci sunt predicate, cu argumente constante, variabile sau structuri. Faptul S care definește regula, se numește **antet de regulă**, iar //S1, S2,..., Sn// formează corpul regulii și reprezintă conjuncția de scopuri care trebuie satisfăcute pentru ca antetul regulii să fie satisfăcut. |
| Fie următoarea bază de cunoștințe: | Fie următoarea bază de cunoștințe: | ||
| Line 225: | Line 225: | ||
| * [[https://github.com/cs-pub-ro/PP-laboratoare/raw/master/prolog/intro/prolog-cheatsheet-1.pdf|Cheatsheet]] | * [[https://github.com/cs-pub-ro/PP-laboratoare/raw/master/prolog/intro/prolog-cheatsheet-1.pdf|Cheatsheet]] | ||
| * [[https://ocw.cs.pub.ro/courses/_media/pp/22/laboratoare/prolog/intro-schelet.zip|Schelet]] | * [[https://ocw.cs.pub.ro/courses/_media/pp/22/laboratoare/prolog/intro-schelet.zip|Schelet]] | ||
| - | * [[https://ocw.cs.pub.ro/courses/_media/pp/22/laboratoare/prolog/intro-solutie.zip|Soluții]] | + | * [[https://ocw.cs.pub.ro/courses/_media/pp/22/laboratoare/prolog/intro-solutii.zip|Soluții]] |
| ===== Referințe ===== | ===== Referințe ===== | ||
