El Projecte | Sobre nosaltres | Contribuir | Donacions | Llicència
HOME Els meus cursos Finalitzats
◄ Anterior
◄

Definint Fets

Següent ►
►

En aquest tema, aprendrem a definir fets en Prolog. Els fets són les afirmacions bàsiques que descriuen el coneixement en un sistema Prolog. Són la base sobre la qual es construeixen les regles i es realitzen les consultes.

Què és un Fet?

Un fet en Prolog és una afirmació que es considera certa. Els fets es defineixen utilitzant predicats, que són funcions que descriuen relacions entre objectes o propietats d'objectes. La sintaxi bàsica d'un fet és:

predicat(argument1, argument2, ..., argumentN).

Exemple de Fets

Considerem un exemple simple d'un conjunt de fets que descriuen relacions de parentiu:

pare(josep, maria).
mare(anna, maria).
germans(maria, joan).

En aquest exemple:

  • pare(josep, maria). significa que Josep és el pare de Maria.
  • mare(anna, maria). significa que Anna és la mare de Maria.
  • germans(maria, joan). significa que Maria i Joan són germans.

Definint Fets en Prolog

Passos per Definir Fets

  1. Identificar el Predicat: Determina la relació o propietat que vols descriure.
  2. Definir els Arguments: Especifica els objectes o entitats que participen en la relació.
  3. Escriure el Fet: Utilitza la sintaxi de Prolog per escriure el fet.

Exemple Pràctic

Suposem que volem definir fets sobre animals i les seves característiques:

animal(gos).
animal(gat).
animal(elefant).

domestic(gos).
domestic(gat).

salvatge(elefant).

En aquest exemple:

  • animal(gos). significa que un gos és un animal.
  • domestic(gos). significa que un gos és un animal domèstic.
  • salvatge(elefant). significa que un elefant és un animal salvatge.

Exercicis Pràctics

Exercici 1: Definint Fets sobre Vehicles

Defineix fets per descriure diferents tipus de vehicles i les seves característiques. Utilitza els predicats vehicle/1, cotxe/1, camio/1, motocicleta/1, electric/1, i combustio/1.

Solució

vehicle(cotxe).
vehicle(camio).
vehicle(motocicleta).

cotxe(tesla_model_s).
cotxe(ford_mustang).

camio(volvo_fh).
camio(mercedes_actros).

motocicleta(harley_davidson).
motocicleta(yamaha_r1).

electric(tesla_model_s).
electric(yamaha_r1).

combustio(ford_mustang).
combustio(volvo_fh).
combustio(mercedes_actros).
combustio(harley_davidson).

Exercici 2: Definint Fets sobre Llibres

Defineix fets per descriure diferents llibres i els seus autors. Utilitza els predicats llibre/1 i autor/2.

Solució

llibre(el_quixot).
llibre(cien_anos_de_soledad).
llibre(orgull_i_prejudici).

autor(el_quixot, cervantes).
autor(cien_anos_de_soledad, garcia_marquez).
autor(orgull_i_prejudici, austen).

Errors Comuns

  1. Oblidar el Punt Final: Cada fet ha de finalitzar amb un punt (.). Oblidar el punt final causarà errors de sintaxi.
  2. Arguments Incorrectes: Assegura't que els arguments dels predicats siguin coherents amb la relació que descriuen.
  3. Majúscules i Minúscules: Els noms de predicats i arguments han de començar amb minúscula. Els noms que comencen amb majúscula es consideren variables.

Resum

En aquesta secció, hem après a definir fets en Prolog. Els fets són afirmacions bàsiques que descriuen el coneixement en un sistema Prolog. Hem vist exemples pràctics i hem practicat definint fets sobre vehicles i llibres. També hem revisat alguns errors comuns que cal evitar. En el següent tema, explorarem com definir regles en Prolog per crear relacions més complexes.

Continua amb el següent tema: Definint Regles.

◄ Anterior
◄
Següent ►
►
El Projecte | Sobre nosaltres | Contribuir | Donacions | Llicència
© Copyright 2024. Tots els drets reservats