Author: Kinga Ordecka
Keywords: Haskell, logic programs, immediate consequence operator, functional programming
Logic sentences can be interpreted as logic programs, that is the sets of Horn clauses of the general form „head <- body”. In this work we consider propositional normal logic programs, in which the bodies of the Horn clauses can contain negated atoms (where by negation we mean negation as failure). Immediate consequence operator Tp is one of the fixpoint semantics that can establish a minimal Herbrand model for a normal logic program. The aim of this work is to introduce implementation of logic programs and immediate consequence operator in functional programming language Haskell.