Logic programming beyond the classical Horn clause theories

3 posts