In this paper we combine concepts from algebraic semantics and first-order logic programming in order to build an extended logic programming framework. This framework is applied to obtain a computational formalization of the model theory of knowledge of McCarthy et al. (1978).