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...
- INFER ranks in the top 25% of languages
- the INFER wikipedia page
- INFER first appeared in 1992
- Read more about INFER on Semantic Scholar
- See also: prolog, owl, axiom
- Have a question about INFER not answered here? Email me and let me know how I can help.
Last updated January 18th, 2020