Original scientific paper
MEHANIČKO RJEŠENJE JEDNE ARITMETIČKO - LOGIČKE GLAVOLOMKE
Mirko Čubrilo
; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia
Abstract
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.
Keywords
Glavolomka; reducirani problem piste; opći problem piste; mehaničko rješenje; Prolog
Hrčak ID:
79717
URI
Publication date:
11.12.1992.
Visits: 1.172 *