Logic programming languages

From Conservapedia
Jump to: navigation, search

Logic programming languages is a family of programming languages based on predicate calculus.