INFER is a programming language created in 1992. Inferences are steps in reasoning, moving from premises to logical consequences. Charles Sanders Peirce divided inference into three kinds: deduction, induction, and abduction. Deduction is inference deriving logical conclusions from premises known or assumed to be true, with the laws of valid inference being studied in logic. Read more on Wikipedia...

28Years Old 20Users ?Jobs

Last updated February 18th, 2020

Edit INFER on GitHub