Skip to main content
SpringerLink
Log in

A method of representing processes in a constraint solver

  • Conference paper
  • First Online:
Logic Programming '85 (LP 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 221))

Included in the following conference series:

  • 133 Accesses

Abstract

Constraints solving theory is a practical approach to the knowledge based CAD/CAM systems. Previously we presented a computation model, the Method of Constraint Reduction based on the logic programming notion. As an application of the model to the design problem in time domain such as timing design or verification of a sequence controller, a method of representing a system of cooperating processes is introduced. This method is characterized as follows. The idea of process reduction is borrowed from Concurrent Prolog but the process reduction is performed nondeterministically. The method treats a system of processes with state variables and constraints between them.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Cook, P.W. (1984) Constraint Solver for Generalized IC Layout, IBM J.Res.Develop. vol 28/5: 581–589

    Google Scholar 

  • Nagasawa, I., Furukawa, Y., Aramaki, S. (1984) ADL — A Designer's Language Based on Logic Programming (in Japanese), trans. IPS Japan, vol. 25/2: 606–613

    Google Scholar 

  • Nagasawa, I., Furukawa, Y. (1986) A machine design calculation support system, using the Method of Constraints Reduction (in Japanese), trans. IPS Japan, vol. 27/1: 112–120.

    Google Scholar 

  • Nagasawa, I. (1986) A Machine Design System with Logic Programming, In: Kitakawa, T. (ed) JARECT Computer Science & Technologies, vol.18 OHMSHA and North-Holland, to appear.

    Google Scholar 

  • Okino, N., Kakazu, Y., Kubo, H. (1983) TIPS — Technical Information Processing System for CAD/CAM, In: Kitakawa, T. (ed) JARECT Computer Science & Technologies, vol. 7: 204–224, OHMSHA and North-Holland

    Google Scholar 

  • Shapiro,E.Y. (1983) A Subset of Concurrent Prolog and Its Interpreter, Technical Report TR-003, ICOT

    Google Scholar 

  • Sussman, G.J., Steele Jr, G.L. (1980) CONSTRAINTS — A Language for Expressing Almost-Hierarchical Descriptions, Artif. Intell. vol. 14: 1–39, North-Holland

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computation Center, Kyushu University, 6-10-1 Hakozaki Higashiku, 812, Fukuoka, Japan

    I. Nagasawa

Authors
  1. I. Nagasawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eiiti Wada

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nagasawa, I. (1986). A method of representing processes in a constraint solver. In: Wada, E. (eds) Logic Programming '85. LP 1985. Lecture Notes in Computer Science, vol 221. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16479-0_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-16479-0_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16479-1

  • Online ISBN: 978-3-540-39820-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation