TIL and Logic Programming
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F08%3A00018856" target="_blank" >RIV/61989100:27240/08:00018856 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
TIL and Logic Programming
Original language description
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 encodedin 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.
Czech name
TIL a logické programování
Czech description
Článek představuje metodu přechodu z TIL na Prolog system, a naopak, aby bylo možné využít Prolog stroje v systému TIL
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1ET101940420" target="_blank" >1ET101940420: Logic and Artificial Intelligence in the area of Multiagent Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Raslan 2008
ISBN
978-80-210-4741-9
ISSN
—
e-ISSN
—
Number of pages
14
Pages from-to
—
Publisher name
Masarykova universita, Brno
Place of publication
Brno
Event location
Brno
Event date
Jun 25, 2008
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—