A programming language developed in the 1970s for artificial intelligence and logic programming.
Programming with a paradigm that bases on formal logic