Sur Les Programmes Logiques Localement Stratifi'es

Document Type


Publication Date



Elementary ideas from topological dynamics are used to provide a constructive approach to Przymusinski's perfect model semantics for locally stratified normal logic programs. Our results utilise level mapping which take values in an arbitrary countable ordinal, and our methods are akin to those of Apt, Blair and Walker for stratified programs. we show the existence of unique supported models when certain inequalities are strict, improve Przymusinski's results for perfect models. Also, our results complement Fitting's treatment by metric methods of certain non-stratified programs which occur in the context of termination problems in logic programming.


Technical report from the Department of Mathematics, University College Cork, Technical Report, 1997.