"logical programming" - related articles and key terms