A general query language F.R.I.L. (fuzzy relational inference language) is introduced. The language F.R.I.L. can be thought of as a high level automatic inference knowledge base system, similar in applicability to PROLOG but based on the mathematics of relations instead of Predicate Calculus. The user provides a knowledge base of facts and rules from which queries can be answered automatically. An inherent parallelism is present in F.R.I.L. which will allow future computer architectures to be fully exploited. It incorporates an automated fuzzy inference mechanism and should find applications in many areas of knowledge engineering such as expert systems, linguistic controllers, intelligent data bases, modelling of complex systems and decision support systems.