Original scientific paper

MECHANICAL SOLUTION OF THE RUNWAY PROBLEM

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

Abstract

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.

Keywords

Runway problem; mechanical solution; Prolog

Hrčak ID:

79717

URI

https://hrcak.srce.hr/79717

Publication date:

11.12.1992.

Article data in other languages: croatian

Visits: 1.522 *