Browse > Article

An Implementation of (Ab)(Cl) Set Unification  

신동하 (상명대학교 소프트웨어학부)
김인영 (상명대학교 소프트웨어학부)
Publication Information
Journal of the Korea Institute of Information and Communication Engineering / v.8, no.5, 2004 , pp. 1108-1113 More about this Journal
Abstract
‘Set’ is a tool that is used frequently in designing computer programs. Because of the reason, ‘set constraints languages’ have been developed recently. In this research, we introduce ‘(Ab)(Cl) set unification’ problem and implement it using the ‘set equation rewriting in Prolog’. In this research we shows that the set unification, that is considered to be difficult to be implemented in procedural languages, ran be implemented easily using the non-deterministic control structure and the list data structure in logic language like Prolog. Our research uses the Ciao Prolog with GNU GPL, this is compared with other existing implementations which used expensive commercial Prolog, so anyone can use the result freely. Currently the result is being used for implementing a set constraint language.
Keywords
set; set unification; set constraint language;
Citations & Related Records
연도 인용수 순위
  • Reference
1 M. F. Clocksin and C. S. Mellish, 'Programming in Prolog, fourth edition', Springer-Verlag, 1994
2 SICStus Prolog Homepage, http://www.sics.se/isljsicstuswww/ site/index.html
3 The CIAO Prolog System Manual, http://clip.dia.fi.upm.es/Software/Ciao/ciao_html/ciao_toc.html
4 V. Sperschneider and G. Antoniou, 'Logic: A Foundation for Computer Science', Addison-wesley, 1991
5 Chin-Liang Chang and Richard Lee,'Symbolic Logic and Mechanical Theorem Proving', Academic Press, 1973
6 Quintus Prolog Homepage, http://www. sics.se/quintus/
7 Mozart Documentation,http://www.mozart-oz.org/documentation/index.html
8 A. Dovier, Computable Set Theory and Logic Programming, PhD Thesis TD-l/96, Universita degli Studi di Pisa, dip. di Informatica, 1996. March
9 The CIAO Prolog Development System WWW Site, http://clip.dia.fi.upm.es/Soft-ware/ Ciao/
10 Escher NG Manual, http://users.unimi.it/ -ddl/vega/manual/escher_ng/
11 F. Baader and W. Snyder, Unification theory, 'Handbook of Automated Reasoning', Elsevier Science Publishers B. V., 1999
12 A. Dovier, E.G. Omodeo, E. Pontelli, and G. Rossi, (log): A Language for Programming in Logic with Finite Sets, 'The Journal of Logic Programming', 28(1), 1-44, 1996   DOI   ScienceOn
13 J. W. Lloyd, 'Foundations of Logic Programming', Springer-Verlag, 1984
14 Pat M. Hill and John W. Lloyd, The Godel Programming Language, MIT Press, 1994
15 I. Bratko, 'PROLOG Programming for Artificial Intelligence', Addison-Wesley,2000
16 GNU General Public License, http://www. gnu.org/copyleft/ gpl.html
17 A. Dovier, E. Pontelli, and G. Rossi, Set Unification, Rapporto di Ricerca, Dipartimento di Matematica, Universita di Parma, n.3l0, 2002
18 SICStus Prolog User's Manuat http://www. sics.se/sicstus/ docs/latest/html/sicstus.html
19 A. Dovier, C. Piazza, E. Pontelli, and G. Rossi, Sets and Constraint Logic Programming, 'ACM Transactions on Programming Languages and Systems', 22, 5, 861-931, 2000   DOI   ScienceOn