A Language for Programming in Logic with Finite Sets

@article{Dovier1996ALF,
  title={A Language for Programming in Logic with Finite Sets},
  author={Agostino Dovier and Eugenio G. Omodeo and Enrico Pontelli and Gianfranco Rossi},
  journal={J. Log. Program.},
  year={1996},
  volume={28},
  pages={1-44}
}
An extended logic programming language is presented, that embodies the fundamental form of set designation based on the (nesting) element insertion operator. The kind of sets to be handled is characterized both by adaptation of a suitable Herbrand universe and via axioms. Predicates 2 and = designating set membership and equality are included in the base language, along with their negative counterparts = 2 and 6 =. A uniication algorithm that can cope with set terms is developed and proved… CONTINUE READING