logic programing logic programming programming language (generic term) programing language (generic term)
