Izvorni znanstveni članak

MECHANICAL SOLUTION OF THE RUNWAY PROBLEM

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

Sažetak

In this article a nontrivial example of logico-arithmetical puzzle, so called runway problem is set and solved. The obtained solution is a mechanical one, in the sense that the problem is adequately formalized by means of the language (PDC Prolog), while the solution of the problem is acomplished by running Prolog's deductive mechanism. As a tools for controlling the logic of the program we have used the PDC Prolog's primitive predicates, namely the 'cut' and the 'fail' predicates.

Ključne riječi

Runway problem; mechanical solution; Prolog

Hrčak ID:

79717

URI

https://hrcak.srce.hr/79717

Datum izdavanja:

11.12.1992.

Podaci na drugim jezicima: hrvatski

Posjeta: 1.522 *