In this paper we introduce the Functional Modelling System (FMS). The sy...
Programming Computable Functions (PCF) is a simplified programming langu...
A large part of the use of knowledge base systems is the interpretation ...
IDP is a knowledge base system based on first order logic. It is finding...