INFER

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...

27Years Old

20Users

0Jobs

• 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 October 12th, 2019