ABSTRACT
This is the second in a series of two reports presenting a comparison between the Control Network Programming language Spider and the logic programming language Prolog. Here, the focus is on juxtaposing the tools for programmer's control of the computation (inference) offered by the two languages.
- Bratko, I. Prolog Programming for Artificial Intelligence, 3rd ed. Addison-Wesley, 2001 Google ScholarDigital Library
- Clocksin, W., Mellish, C. Programming in Prolog Using the ISO Standardd, 5th ed., Springer, 2003Google ScholarDigital Library
- Covington, M., et al., Prolog Programming in Depth, Prentice Hall, 1997. Google ScholarDigital Library
- Fisher. J., Dpt. Computer Science, Cal Poly Pomona, http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/3_2.html as on 28 Apr 2009Google Scholar
- Golemanov, T., Kratchanov, K, Golemanova, E. SPIDER -- A Language for Programming Through Control Networks. In: Proc. CompSysTech 2000, Sofia, June 2000, II.8-1--II.8-5 (in Bulgarian). Also published by ACM Press, 2081--2085. Google ScholarDigital Library
- Golemanov, T., Kratchanov, K., Golemanova, E. Spider vs. Prolog: Simulating Prolog in Spider. This conference.Google Scholar
- Golemanova, E, Golemanov, T, Kratchanov, K. Built-in Features of the SPIDER Language for Implementing Heuristic Algorithms. In: Proc. CompSysTech 2000, Sofia, June 2000, II.9-1--II.9-5 (in Bulgarian). Also published by ACM Press, 2091--2095. Google ScholarDigital Library
- Hill, P., Lloyd, J. The Gödel Programming Language, MIT Press, 1994. Google ScholarDigital Library
- Kratchanov, K., Golemanov, T, Golemanova, E, Control Network Programming: Static Search Control With System Options, In: Proc. 8th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2009), February 2009, Cambridge, UK, 423--428. Google ScholarDigital Library
- Kratchanov, K., Golemanova, E., Golemanov, T, Control Network Programs and Their Execution, In: Proc. 8th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2009), February 2009, Cambridge, UK, 417--422. Google ScholarDigital Library
Index Terms
- Spider vs. Prolog: computation control
Recommendations
Spider vs. Prolog: simulating Prolog in Spider
CompSysTech '09: Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in ComputingControl Network Programming is a programming paradigm that integrates ideas from imperative programming, declarative programming, rule-based systems, nondeterministic programming and graphical programming. Its computation rule is based on an extended ...
Control network programming: static search control with system options
AIKED'09: Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data basesControl Network Programming (CNP) is a programming paradigm that is especially convenient for representing problems with a natural graph-like description. This description is often of nondeterministic nature. The report continues the discussion from [1] ...
Control network programs and their execution
AIKED'09: Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data basesControl Network Programming (CNP) as a new programming paradigm has been presented elsewhere, and the CNP approach has been illustrated through solving representative typical applications, many of which belong to the AI area. This report aims at more ...
Comments