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
Publication date:
11.12.1992.
Visits: 1.172 *