Skip to main content
SpringerLink
Log in

Visual Logic Programming Method Based on Structural Analysis and Design Technique

  • Conference paper
Book cover Logic Programming (ICLP 2007)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4670))

Included in the following conference series:

Abstract

The convergence of logic and visual languages is recognized as a promising approach for both the logic programming automation and enhancement of visual modeling/programming methods. The distinction of our approach is in that we unite the Actor Prolog concurrent object-oriented logic language [1,2,3] with the Structural Analysis and Design Technique (SADT) diagrams to obtain new issues in the following areas:

  • Functional modeling of complex systems;

  • Rapid prototyping of artificial intelligence applications;

  • Graphic user interface management.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Morozov, A.: Actor Prolog: an object-oriented language with the classical declarative semantics. In: Sagonas, K., Tarau, P., (eds.): Proc. of the IDL 1999 Int. Workshop, Paris, France, pp. 39–53 (1999), Available at http://www.cplire.ru/Lab144/paris.pdf

  2. Morozov, A.A., Obukhov, Y.V.: An approach to logic programming of intelligent agents for searching and recognizing information on the Internet. Pattern Recognition and Image Analysis 11(3), 570–582 (2001), Available at http://www.cplire.ru/Lab144/pria570m.pdf

    Google Scholar 

  3. Morozov, A.: Getting Started in Actor Prolog. IRE RAS (2002), Available at http://www.cplire.ru/Lab144/start/

  4. Morozov, A.: Development and application of logical actors mathematical apparatus for logic programming of Web agents. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 494–495. Springer, Heidelberg (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Radio Engineering and Electronics RAS, Mokhovaya 11, Moscow, 125009, Russia

    Alexei A. Morozov

Authors
  1. Alexei A. Morozov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Véronica Dahl Ilkka Niemelä

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Morozov, A.A. (2007). Visual Logic Programming Method Based on Structural Analysis and Design Technique. In: Dahl, V., Niemelä, I. (eds) Logic Programming. ICLP 2007. Lecture Notes in Computer Science, vol 4670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74610-2_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-74610-2_34

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-74608-9

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation