. . "Brno" . . "TIL and Logic Programming"@en . "Brno" . . "4"^^ . "2008-06-25+02:00"^^ . "14"^^ . . . "Masarykova universita, Brno" . . "978-80-210-4741-9" . "\u010C\u00EDhalov\u00E1, Martina" . . "TIL and Logic Programming" . "P(1ET101940420)" . . "Du\u017E\u00ED, Marie" . . "TIL and Logic Programming"@en . "TIL; TIL-Script language; inference machine; Prolog"@en . "TIL a logick\u00E9 programov\u00E1n\u00ED"@cs . "\u010Cl\u00E1nek p\u0159edstavuje metodu p\u0159echodu z TIL na Prolog system, a naopak, aby bylo mo\u017En\u00E9 vyu\u017E\u00EDt Prolog stroje v syst\u00E9mu TIL"@cs . . "Raslan 2008" . "The paper introduces a method of transition from TIL into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. We specify a subset of the set of TIL constructions the elements of which can be encoded in Prolog language, and introduce the method of translation from TIL into Prolog. Since Prolog is less expressive than TIL, we have to build up a TIL functional overlay that makes it possible to realize the reverse transition from Prolog into TIL in a near to equivalent way." . . "Men\u0161\u00EDk, Marek" . "RIV/61989100:27240/08:00018856" . "TIL and Logic Programming" . "[D7AADDCDD43F]" . . "RIV/61989100:27240/08:00018856!RIV09-AV0-27240___" . "TIL a logick\u00E9 programov\u00E1n\u00ED"@cs . . "The paper introduces a method of transition from TIL into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. We specify a subset of the set of TIL constructions the elements of which can be encoded in Prolog language, and introduce the method of translation from TIL into Prolog. Since Prolog is less expressive than TIL, we have to build up a TIL functional overlay that makes it possible to realize the reverse transition from Prolog into TIL in a near to equivalent way."@en . "27240" . "400045" . . . "1"^^ . . "Ciprich, Nikola" .