View of Logic programming extensions of Horn clause logic

Return to Article Details Logic programming extensions of Horn clause logic Download Download PDF