Pràctica 2: Prolog

Es dedicarà almenys una classe de laboratori a explicar el llenguatge Prolog. Aquí teniu uns exemples de programes Prolog a partir del fitxer p6.pdf de l’avís Col·lecció d'apunts bàsics de lògica del Racó.

Després fareu en SWI-prolog aquesta llista d'exercicis.

Teniu tota la documentació de SWI-Prolog a https://www.swi-prolog.org/.

Nota

Algunes referències:

• Glosari

• Funcions aritmètiques.

• Predicat especial per aritmètica entera (between/3)

• Trobar totes les solucions a un objectiu (findall/3)

• Predicats de control: fail/0, !/0 (tall), +/1 (negació per fallada).

• Notació per la descripció de predicats.