CS-Prolog: A generalized unification based constraint solver

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 315 LNCS, Issue , 1988, Pages 19-39

  Kawamura, Toshio ^a   Ohwada, Hayato ^a   Mizoguchi, Fumio ^a  

^a TOKYO UNIVERSITY OF SCIENCE   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING;

CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT LOGIC PROGRAMMING LANGUAGES; CONSTRAINT SOLVERS; SIMPLE APPROACH;

PROLOG (PROGRAMMING LANGUAGE);

EID: 0345916700     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-19426-6_2     Document Type: Conference Paper

References (13)

1. A. Bundy, The Computer Modelling of Mathematical Reasoning, Academic Press, 1983.
2. T.Chikayama, ESP Reference Manual, ICOT TR-044, 1984.
3. A. Colmerauer, EQUATIONS AND INEQUATIONS ON FINITE AND INFINITE TREES, Proc. of FGCS ’84, 1984.
4. M. Dincbas, CONSTRAINTS, LOGIC PROGRAMMING and DEDUCTIVE DATABASE, France-Japan AI and Computer Science Symposium ’86, 1986.
5. N. Heintze et al, The CLP Programmer’s Manual, Dept. of Computer Science, Monash Univ., 1986.
6. J. Jaffar and J. Lassez, A Logic Programming Language Schema, In D. DeGroot and G. Lindstrom, Eds., LOGIC PROGRAMMING: Functions, Relations, and Equations, Prentice Hall, 1986.
7. J. Jaffar and P.J. Stuckey, Logic Program Semantics for Programming with Equations, 3rd ICLP, Springer-Verlag, 1986.
8. K. Mukai, Unification over Complex Indeterminates in Prolog, Proc. of LPC ’85, 1985.
9. H. Nakashima, Term Description: A Simple Powerful Extension to Prolog Data Structures, IJCAI ’85, 1985.
10. H. Seki and K. Furukawa, Notes on Transformation Technics for Generate and Test Logic Programs, ICOT TM-0240, 1986.
11. Robert E. Shostak, On the SUP-INF Method for Proving Presburger Formulas, JACM ’77, 1977.
12. R. Simmons COMMONSENCE ARITHMETIC REASONING, AAAI-86, 1986.
13. G.L. Steele, The Definition and Implementation of A Computer Programming Language based on CONSTRAINTS, MIT Ph.D Dissertation, 1980.