Declarative programming languages based on formal logic. Have a look at the Prolog programming language to get an idea.