Izvorni znanstveni članak

MEHANIČKO RJEŠENJE JEDNE ARITMETIČKO - LOGIČKE GLAVOLOMKE

Mirko Čubrilo ; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia

Sažetak

U člankuje opisana jedna aritmetičko-logička glavolomka, tzv. problem piste. Zatim je dano mehanička rješenje glavolomke u jeziku logičkog programiranja PDC Prolog. To znači da je problem adekvatno formaliziran sredstvima jezika, a njegovo rješenje reprezentirano kao ciljni predikat pripadnog Prolog programa. Sam proces izračunavanja rješenja prepušten je deduktivnom mehanizmu PDC Prologa. U okviru formalne reprezentacije problema razvijen je niz predikata. Logika programa realizirana je sistemskim predikatima cut (rez) i fail (neuspjeh). Rezultati rada programa dani su u priloženoj .LOG datoteci. Iz podataka koje ona sadrži moguće je rekonstruirati proces rješavanja problema. Tekst datoteke je komentiran da bi se olakšalo njegovo razumijevanje.

Ključne riječi

Glavolomka; reducirani problem piste; opći problem piste; mehaničko rješenje; Prolog

Hrčak ID:

79717

URI

https://hrcak.srce.hr/79717

Datum izdavanja:

11.12.1992.

Podaci na drugim jezicima: engleski

Posjeta: 1.108 *