UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Language Independence and Language Tolerance in Logic Programs (1994)
Norman McCain
and
Hudson Turner
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice of language, while others depend on the language of the program in only a restricted way. In this paper, we de ne notions of language independence and language tolerance corresponding to these two cases. Furthermore, we show that there are syntactically-defined classes of programs that are language independent and language tolerant. A primary application of these results is to guarantee that for some programs it is permissible to ignore the fact that the language of the program is many- sorted. This is useful to know, since query evaluation procedures generally take no account of sorts.
View:
PDF
Citation:
In
Proceedings Eleventh Int'l Conf. on Logic Programming
, Van Hentenryck, Pascal (Eds.), pp. 38-57 1994.
Bibtex:
@InProceedings{mcc94, title={Language Independence and Language Tolerance in Logic Programs}, author={Norman McCain and Hudson Turner}, booktitle={Proceedings Eleventh Int'l Conf. on Logic Programming}, editor={Van Hentenryck and Pascal}, pages={38-57}, url="http://www.cs.utexas.edu/users/ai-lab?mcc94", year={1994} }
People
Norman McCain
Ph.D. Alumni
nmccain [at] sunflower com
Hudson Turner
Ph.D. Alumni
hudson [at] d umn edu
Areas of Interest
Inductive Logic Programming