PROGRAMAS VISTOS EN LA UNIDAD I

             /* Program 1 */

domains
    person, activity = symbol

predicates
    likes(person,activity)

clauses
    likes(ellen,tennis).
    likes(john,football).
    likes(tom,baseball).
    likes(eric,swimming).
    likes(mark,tennis).
    likes(bill,X) if likes(tom,X).


      /* Program 2 */

domains
    brand, color  = symbol
    age, price    = integer
    mileage       = real

predicates
    car(brand,mileage,age,color,price)

clauses
    car(chrysler,130000,3,red,12000).
    car(ford,90000,4,gray,25000).
    car(datsun,8000,1,red,30000).