By applying the formal rules of symbolic logic, a computer using this language can "learn" additional facts beyond its original data set and test for inconsistencies, but it has difficulty in areas that require fuzzy logic or uncertainty.  
Developed in 1970 by Alain Colmerauer of the University of Marseille, it operates from a pre-programmed domain, or set of facts, that is typically oriented toward a single scientific or technical field.  By applying the formal rules of symbolic logic, a computer using this language can "learn" additional facts beyond its original data set and test for inconsistencies, but it has difficulty in areas that require fuzzy logic or uncertainty.  For 10 points identify this artificial intelligence programming language, an early rival to LISP.
Developed in 1970 by Alain Colmerauer of the University of Marseille, it operates from a pre-programmed domain, or set of facts, that is typically oriented toward a single scientific or technical field.  
PROLOG