INFER is a historical 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 20% of languages
- the INFER wikipedia page
- INFER first appeared in 1992
- Read more about INFER on Semantic Scholar
- See also: prolog, owl, axiom
- I have 35 facts about INFER. what would you like to know? email me and let me know how I can help.
Last updated December 4th, 2019